Hybrid automata: from verification to implementation
This page provides supplementary material for the paper Hybrid automata: from verification to implementation.
The code and models used in the evaluation can be found here.
For more information, please contact Christian Schilling.