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