Pages that link to "Item:Q3523151"
From MaRDI portal
The following pages link to A Policy Iteration Technique for Time Elapse over Template Polyhedra (Q3523151):
Displayed 4 items.
- Numerical invariants through convex relaxation and max-strategy iteration (Q2248100) (← links)
- Synthesizing Switching Controllers for Hybrid Systems by Generating Invariants (Q2842646) (← links)
- Template-Based Unbounded Time Verification of Affine Hybrid Automata (Q2901366) (← links)
- Symbolic Model Checking of Hybrid Systems Using Template Polyhedra (Q5458327) (← links)