HARE
From MaRDI portal
swMATH10938MaRDI QIDQ22890FDOQ22890
Author name not available (Why is that?)
Official website: https://wiki.cites.illinois.edu/wiki/display/MitraResearch/HARE
Cited In (6)
- Hybrid automata-based CEGAR for rectangular hybrid systems
- Hybrid automata-based CEGAR for rectangular hybrid systems
- Using symmetry transformations in equivariant dynamical systems for their safety verification
- d/dt
- HybridSal
- Extracting counterexamples induced by safety violation in linear hybrid systems
This page was built for software: HARE
