HyPro : A C++ Library of State Set Representations for Hybrid Systems Reachability Analysis

Schupp, Stefan (Corresponding author); Ábrahám, Erika; Ben Makhlouf, Ibtissem; Kowalewski, Stefan

Cham : Springer (2017)
Contribution to a book, Contribution to a conference proceedings

In: NASA formal methods : 9th international symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017 : proceedings / Clark Barrett, Misty Davies, Temesghen Kahsai (eds.)
Page(s)/Article-Nr.: 288-294


  • Department of Computer Science [120000]
  • Chair of Computer Science 11 (Embedded Software) [122810]
  • Theory of Hybrid Systems Research Group [123420]