Cited in
(16)- Zone-based verification of timed automata: extrapolations, simulations and what next?
- Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces
- Efficient geometric operations on convex polyhedra, with an application to reachability analysis of hybrid systems
- Rabbit
- TAXYS
- POEM
- LearnLib
- Synthia
- UPPAAL TIGA
- REDLIB
- H-PILoT
- ITS-Tools
- Crossing the Bridge between Similar Games
- A layered algorithm for quantifier elimination from linear modular constraints
- PTIME parametric verification of safety properties for reasonable linear hybrid automata
- Can we build it: formal synthesis of control strategies for cooperative driver assistance systems
This page was built for software: LinAIG
