LinAIG

swMATH10316MaRDI QIDQ22277FDOQ22277

Author name not available (Why is that?)

Cited In (7)

• 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
• 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