Pages that link to "Item:Q3510811"
From MaRDI portal
The following pages link to Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space (Q3510811):
Displayed 4 items.
- Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces (Q436418) (← links)
- Don't care words with an application to the automata-based approach for real addition (Q1028730) (← links)
- Can we build it: formal synthesis of control strategies for cooperative driver assistance systems (Q2843860) (← links)
- Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints (Q3617770) (← links)