GitHub repository: JianqiangDing/irafhy
Primary language: C++
Description: an Interval arithmetic based reachability analysis Framework designed for hybrid automatons