The following pages link to Mark Wetzlinger (Q2085158):
Displayed 4 items.
- Adaptive reachability algorithms for nonlinear systems using abstraction error analysis (Q2085160) (← links)
- Adaptive parameter tuning for reachability analysis of nonlinear systems (Q6120656) (← links)
- Fully Automated Verification of Linear Systems Using Inner and Outer Approximations of Reachable Sets (Q6199955) (← links)
- Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions (Q6202080) (← links)