Pages that link to "Item:Q3303915"
From MaRDI portal
The following pages link to Counterexample-Guided Refinement of Template Polyhedra (Q3303915):
Displayed 7 items.
- Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration (Q2031413) (← links)
- Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version) (Q2105418) (← links)
- Template polyhedra and bilinear optimization (Q2322312) (← links)
- Geometric Model Checking of Continuous Space (Q5060193) (← links)
- Symbolic analysis of linear hybrid automata -- 25 years later (Q6113970) (← links)
- Using Intersection of Unions to Minimize Multi-directional Linearization Error in Reachability Analysis (Q6120688) (← links)
- Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions (Q6202080) (← links)