Geek Repo
followers
following
stars
Company:RWTH Aachen University
Home Page:https://ths.rwth-aachen.de/research/projects/hypro/
Github PK Tool:Github PK Tool
HyPro: A C++ state set representation library for the analysis of hybrid systems
Benchmark collection for HyPro and HyDRA