irafhy
Interval arithmetic based Reachability Analysis Framework for Hybrid Automaton
Computing Geometry