Approximate solutions for the minimal revision problem of specification automata.

Kangjin Kim, Georgios Fainekos

Browse the full IROS paper archive.