DMCA

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

Cached

Download Links

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