The following pages link to Niklas Kochdumper (Q2116656):
Displaying 5 items.
- Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications (Q2116657) (← links)
- Formal Safety Net Control Using Backward Reachability Analysis (Q6077141) (← links)
- Constrained polynomial zonotopes (Q6171823) (← links)
- Fully Automated Verification of Linear Systems Using Inner and Outer Approximations of Reachable Sets (Q6199955) (← links)
- Adaptive Parameter Tuning for Reachability Analysis of Linear Systems (Q6504002) (← links)
