Pages that link to "Item:Q4633548"
From MaRDI portal
The following pages link to Parsimonious, Simulation Based Verification of Linear Systems (Q4633548):
Displaying 10 items.
- Automatic dynamic parallelotope bundles for reachability analysis of nonlinear systems (Q832032) (← links)
- Reachability analysis of linear dynamic systems with constant, arbitrary, and Lipschitz continuous inputs (Q1626902) (← links)
- Order-reduction abstractions for safety verification of high-dimensional linear systems (Q1693830) (← links)
- Extracting counterexamples induced by safety violation in linear hybrid systems (Q2184551) (← links)
- Rigorous Simulation-Based Analysis of Linear Hybrid Systems (Q3303914) (← links)
- Multi-agent Safety Verification Using Symmetry Transformations (Q5039508) (← links)
- Constrained polynomial zonotopes (Q6171823) (← links)
- Reachability of Koopman Linearized Systems Using Random Fourier Feature Observables and Polynomial Zonotope Refinement (Q6487327) (← links)
- Schatten-\(p\) radius: optimality criterion and optimization for basic ellipsotopes with application to zonotopes and ellipsoids (Q6659204) (← links)
- The hexatope and octatope abstract domains for neural network verification (Q6661753) (← links)
