Pages that link to "Item:Q2988931"
From MaRDI portal
The following pages link to Eliminating spurious transitions in reachability with support functions (Q2988931):
Displayed 4 items.
- Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version) (Q2105418) (← links)
- Counterexample-Guided Refinement of Template Polyhedra (Q3303915) (← links)
- Symbolic analysis of linear hybrid automata -- 25 years later (Q6113970) (← links)
- Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions (Q6202080) (← links)