TY  - RPRT
TI  - On the Minimal Revision Problem of Specification Automata
AU  - Kangjin Kim
AU  - Georgios E. Fainekos
AU  - Sriram Sankaranarayanan
PY  - 2014
UR  - https://arxiv.org/abs/1404.2289
ID  - 1404.2289
ER  -