Pages that link to "Item:Q436418"
From MaRDI portal
The following pages link to Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces (Q436418):
Displaying 5 items.
- 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)
- Crossing the Bridge between Similar Games (Q3172850) (← links)
