irafhy
Interval arithmetic based Reachability Analysis Framework for Hybrid Automaton
Utility

This section provides the brief introduction of all the third-party libraies used in the framework.