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

Cham / Springer (2017) [Buchbeitrag, Beitrag zu einem Tagungsband]

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

Autorinnen und Autoren

Autorinnen und Autoren

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

Identifikationsnummern