Approximate solutions for the minimal revision problem of specification automata,” (2012)

by K Kim, G Fainekos
Venue:in Int. Conf. on Intelligent Robots and Systems. IEEE,