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

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

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

Authors

Authors

Ben Makhlouf, Ibtissem
Hansen, Norman
Kowalewski, Stefan

Identifier

  • REPORT NUMBER: RWTH-CONV-213474