HAL
HAL (Hybrid Automata Library) is the one-stop shop for all of your hybrid modeling needs
37 stars
8 watching
12 forks
Language: Java
last commit: about 1 month ago
Linked from 1 awesome list
HAL HAL (Hybrid Automata Library) is the one-stop shop for all of your hybrid modeling needs
sellisd/awesome-complexity