Pages that link to "Item:Q3303915"
From MaRDI portal
The following pages link to Counterexample-Guided Refinement of Template Polyhedra (Q3303915):
Displaying 4 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)
