The following pages link to LinAIG (Q22277):
Displayed 7 items.
- Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces (Q436418) (← links)
- Efficient geometric operations on convex polyhedra, with an application to reachability analysis of hybrid systems (Q748756) (← links)
- PTIME parametric verification of safety properties for reasonable linear hybrid automata (Q1949771) (← links)
- Zone-based verification of timed automata: extrapolations, simulations and what next? (Q2112098) (← links)
- A layered algorithm for quantifier elimination from linear modular constraints (Q2363817) (← links)
- Can we build it: formal synthesis of control strategies for cooperative driver assistance systems (Q2843860) (← links)
- Crossing the Bridge between Similar Games (Q3172850) (← links)