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

Springer International Publishing (2017) [Buchbeitrag]

NASA Formal Methods

Authors

Selected Authors

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

Identifier