Revision of specification automata under quantitative preferences.

Kangjin Kim, Georgios Fainekos

Browse the full ICRA paper archive.