Kangjin Kim, Georgios E. Fainekos, Sriram Sankaranarayanan. On the minimal revision problem of specification automata. I. J. Robotic Res., 34(12):1515-1535, 2015. [doi]
No references recorded for this publication.
No citations of this publication recorded.