Pages that link to "Item:Q2165508"
From MaRDI portal
The following pages link to Conservative time discretization: a comparative study (Q2165508):
Displayed 3 items.
- Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version) (Q2105418) (← links)
- Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions (Q6202080) (← links)
- Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes (Q6202100) (← links)