First steps toward formal controller synthesis for bipedal robots. - Aaron D. Ames; Paulo Tabuada; Bastian Schürmann; Wen-Loong Ma; Shishir Kolathaya; Matthias Rungger; Jessy W. Grizzle (HSCC, 2015)

Closed-form expressions of convex combinations. - Bastian Schürmann; Ahmed El-Guindy; Matthias Althoff (ACC, 2016)

Optimal control of sets of solutions to formally guarantee constraints of disturbed linear systems. - Bastian Schürmann; Matthias Althoff (ACC, 2017)

Methods for order reduction of zonotopes. - Anna-Kathrin Kopetzki; Bastian Schürmann; Matthias Althoff (CDC, 2017)

Convex Interpolation Control with Formal Guarantees for Disturbed and Constrained Nonlinear Systems. - Bastian Schürmann; Matthias Althoff (HSCC, 2017)

Comparison of trajectory tracking controllers for autonomous vehicles. - Davide Calzolari; Bastian Schürmann; Matthias Althoff (ITSC, 2017)

Ensuring drivability of planned motions using formal methods. - Bastian Schürmann; Daniel Hess; Jan Eilbrecht; Olaf Stursberg; Frank Köster; Matthias Althoff (ITSC, 2017)

A Formally Verified Motion Planner for Autonomous Vehicles. - Albert Rizaldi; Fabian Immler; Bastian Schürmann; Matthias Althoff (ATVA, 2018)

Reachset Model Predictive Control for Disturbed Nonlinear Systems. - Bastian Schürmann; Niklas Kochdumper; Matthias Althoff (CDC, 2018)

Risk-aware motion planning for automated vehicle among human-driven cars. - Jin I. Ge; Bastian Schürmann; Richard M. Murray; Matthias Althoff (ACC, 2019)

A modal interface contract theory for guarded input/output automata with an application in traffic system design. - Tung Phan-Minh; Steve Guo; Bastian Schürmann; Matthias Althoff; Richard M. Murray (ACC, 2019)

Utilizing dependencies to obtain subsets of reachable sets. - Niklas Kochdumper; Bastian Schürmann; Matthias Althoff (HSCC, 2020)

AROC: a toolbox for automated reachset optimal controller synthesis. - Niklas Kochdumper; Felix Gruber; Bastian Schürmann; Victor Gaßmann; Moritz Klischat; Matthias Althoff (HSCC, 2021)

Reachability-based Identification, Analysis, and Control Synthesis of Robot Systems. - Stefan B. Liu; Bastian Schürmann; Matthias Althoff (CoRR, 2021)

Optimizing Sets of Solutions for Controlling Constrained Nonlinear Systems. - Bastian Schürmann; Matthias Althoff (IEEE Trans. Autom. Control., 2021)

Formal Safety Net Control Using Backward Reachability Analysis. - Bastian Schürmann; Moritz Klischat; Niklas Kochdumper; Matthias Althoff (IEEE Trans. Autom. Control., 2022)

Guarantees for Real Robotic Systems: Unifying Formal Controller Synthesis and Reachset-Conformant Identification. - Stefan B. Liu; Bastian Schürmann; Matthias Althoff (IEEE Trans. Robotics, 2023)