Provably safe motion of mobile robots in human environments. - Stefan B. Liu; Hendrik Roehm; Christian Heinzemann; Ingo Lütkebohle; Jens Oehlerking; Matthias Althoff (IROS, 2017)

Interval-Arithmetic-Based Trajectory Scaling and Collision Detection for Robots with Uncertain Dynamics. - Michael Wagner 031; Stefan B. Liu; Andrea Giusti; Matthias Althoff (IRC, 2018)

Reachset Conformance of Forward Dynamic Models for the Formal Analysis of Robots. - Stefan B. Liu; Matthias Althoff (IROS, 2018)

Effortless creation of safe robots from modules through self-programming and self-verification. - Matthias Althoff; Andrea Giusti; Stefan B. Liu; Aaron Pereira (Sci. Robotics, 2019)

Optimizing performance in automation through modular robots. - Stefan B. Liu; Matthias Althoff (ICRA, 2020)

Online Verification of Impact-Force-Limiting Control for Physical Human-Robot Interaction. - Stefan B. Liu; Matthias Althoff (IROS, 2021)

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

Supplementary data for "Velocity Estimation of Robot Manipulators: An Experimental Comparison". - Stefan B. Liu; Andrea Giusti; Matthias Althoff (IEEE DataPort, 2021)

SaRA: A Tool for Safe Human-Robot Coexistence and Collaboration through Reachability Analysis. - Sven R. Schepp; Jakob Thumm; Stefan B. Liu; Matthias Althoff (ICRA, 2022)

Interval-Arithmetic-Based Robust Control of Fully Actuated Mechanical Systems. - Andrea Giusti; Stefan B. Liu; Matthias Althoff (IEEE Trans. Control. Syst. Technol., 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)

Modeling and Identification for Formally Safe Human-Robot Interaction. - Stefan B. Liu (2024)