On Verification and Constraint Generation for Families of Similar Hybrid Automata
Rauh, Andreas and Finkbeiner, Bernd and 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 Essays Dedicated to Martin Fränzle on the Occasion of His 60th Birthday)
Erscheinungsjahr: 2026
ISBN/ISSN: 9783032168573
Publikationstyp: Buchbeitrag
Sprache: Englisch
Doi/URN: 10.1007/978-3-032-16855-9_6
Klassifikation
DFG Fachgebiet:
4.43-01 - Theoretische Informatik
DDC Sachgruppe:
Informatik
