Bastian Schürmann

Available identifiers

zbMath Open schurmann.bastianMaRDI QIDQ2178183

List of research outcomes

Publication	Date of Publication	Type
AROC	2024-02-21	Paper
Formal Safety Net Control Using Backward Reachability Analysis	2023-09-25	Paper
A formally verified motion planner for autonomous vehicles	2023-07-28	Paper
Optimizing Sets of Solutions for Controlling Constrained Nonlinear Systems	2021-05-28	Paper
Utilizing dependencies to obtain subsets of reachable sets	2021-01-25	Paper
Set-based control for disturbed piecewise affine systems with state and actuation constraints	2020-05-07	Paper
First steps toward formal controller synthesis for bipedal robots with experimental implementation	2017-10-04	Paper
Convex interpolation control with formal guarantees for disturbed and constrained nonlinear systems	2017-07-11	Paper
First steps toward formal controller synthesis for bipedal robots	2017-05-19	Paper

Research outcomes over time

This page was built for person: Bastian Schürmann