LinAIG
From MaRDI portal
swMATH10316MaRDI QIDQ22277FDOQ22277
Author name not available (Why is that?)
Official website: http://www.avacs.org/tools/linaig/
Cited In (14)
- 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
- 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
