Kangjin Kim, Georgios E. Fainekos. Approximate solutions for the minimal revision problem of specification automata. In 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2012, Vilamoura, Algarve, Portugal, October 7-12, 2012. pages 265-271, IEEE, 2012. [doi]
Abstract is missing.