Recent developments in theory and tool support for hybrid systems verification with HyPro

Schupp, Stefan (Corresponding author); Ábrahám, Erika; Ebert, Tristan

Amsterdam : Elsevier (2022)
Contribution to a book, Journal Article

In: Information and Computation
Volume: 289
Issue: Part A
Page(s)/Article-Nr.: 104945


  • Department of Computer Science [120000]
  • Theory of Hybrid Systems Research Group [123420]