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)
Buchbeitrag, Beitrag zu einem Tagungsband

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.)
Seite(n)/Artikel-Nr.: 288-294

Identifikationsnummern