| Engineering Controllers For Swarm Robotics Via Reachability Analysis In Hybrid Systems | 0 | 0.34 | 2019 |
| HyPro: A C++ Library of State Set Representations for Hybrid Systems Reachability Analysis. | 5 | 0.47 | 2017 |
| Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro. | 0 | 0.34 | 2017 |
