Cited in
(6)- Hybrid automata-based CEGAR for rectangular hybrid systems
- d/dt
- HybridSal
- Hybrid automata-based CEGAR for rectangular hybrid systems
- Using symmetry transformations in equivariant dynamical systems for their safety verification
- Extracting counterexamples induced by safety violation in linear hybrid systems
This page was built for software: HARE