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

Cham / Springer (2017) [Contribution to a book, Contribution to a conference proceedings]

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


Selected Authors

Schupp, Stefan
Ábrahám, Erika
Ben Makhlouf, Ibtissem
Kowalewski, Stefan