Specification-guided controller synthesis for linear systems and safe linear-time temporal logic (2013)

by Matthias Rungger, Manuel Mazo, Paulo Tabuada
Venue:Proceedings of the 16th international conference on Hybrid systems: computation and control