TY  - RPRT
TI  - Revision of Specification Automata under Quantitative Preferences
AU  - Kangjin Kim
AU  - Georgios Fainekos
PY  - 2014
UR  - https://arxiv.org/abs/1402.3611
ID  - 1402.3611
ER  -