Decidability and Complexity for the Verification of Safety Properties of Reasonable Linear Hybrid Automata
Emilio Frazzoli; Radu Grosu (Hrsg). Proceedings of the 2011 ACM/SIGBED: Hybrid Systems: Computation and Control HSCC 2001; April 12–14, 2011; Chicago, Illinois, USA. New York, NY: ACM Association for Computing Machinery 2011 S. 73 - 82
Erscheinungsjahr: 2011
ISBN/ISSN: 978-1-4503-0629-4
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.1145/1967701.1967714
| Geprüft: | Bibliothek |
