hybrid-automata topic
List
hybrid-automata repositories
hypro
29
Stars
7
Forks
Watchers
HyPro: A C++ state set representation library for the analysis of hybrid systems
