On the revision problem of specification automata.

Kangjin Kim, Georgios E. Fainekos, Sriram Sankaranarayanan

Browse the full ICRA paper archive.