LinAIG
From MaRDI portal
Software:22277
No author found.
Related Items (7)
A layered algorithm for quantifier elimination from linear modular constraints ⋮ Crossing the Bridge between Similar Games ⋮ PTIME parametric verification of safety properties for reasonable linear hybrid automata ⋮ 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 ⋮ Can we build it: formal synthesis of control strategies for cooperative driver assistance systems ⋮ Zone-based verification of timed automata: extrapolations, simulations and what next?
This page was built for software: LinAIG