On Verification and Constraint Generation for Families of Similar Hybrid Automata
Rauh, Andreas, Finkbeiner, Bernd, Kröger, Paul (Hrsg). Lecture Notes in Computer Science. Springer Nature Switzerland 2026 S. 126 - 149 (Design and Verification of Cyber-Physical Systems : From Theory to Applications)
Erscheinungsjahr: 2026
ISBN/ISSN: 9783032168573
Publikationstyp: Buchbeitrag
Sprache: Englisch
Doi/URN: 10.1007/978-3-032-16855-9_6
| Geprüft: | Bibliothek |
Klassifikation
DFG Fachgebiet:
4.43-01 - Theoretische Informatik
DDC Sachgruppe:
Informatik
