HyReach: A Reachability Tool for Linear Hybrid Systems Based on Support Functions

(2017) [Buchbeitrag, Beitrag zu einem Tagungsband]

ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems / Editors: Goran Frehse and Matthias Althoff
Seite(n): 68-79

Autorinnen und Autoren

Autorinnen und Autoren

Ben Makhlouf, Ibtissem
Hansen, Norman
Kowalewski, Stefan

Identifikationsnummern

  • REPORT NUMBER: RWTH-CONV-213474