Techniques and Tools for Hybrid Systems Reachability Analysis

Cham / Springer International Publishing - Springer (2017) [Contribution to a book, Contribution to a conference proceedings]

Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings / Alessandro Abate ; Sylvie Boldo (Eds.)

Authors

Selected Authors

Ábrahám, Erika

Identifier

  • REPORT NUMBER: RWTH-2017-06650