1. S-TaLiRo: A tool for temporal logic falsification for hybrid systems;Annapureddy,2011
2. Breach, a toolbox for verification and parameter synthesis of hybrid systems;Donzé,2010
3. ARCH-Comp18 category report: Results on the falsification benchmarks;Dokhanchi,2018
4. Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes;Althoff;Nonlinear Anal. Hybrid Syst.,2010
5. SpaceEx: Scalable verification of hybrid systems;Frehse,2011