jianqiangding / irafhy Goto Github PK
View Code? Open in Web Editor NEWan Interval arithmetic based reachability analysis Framework designed for hybrid automatons
Home Page: https://jianqiangding.github.io/irafhy/index.html
License: GNU General Public License v3.0