Stefan B. Liu

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 10

Top Topics

Robotic Systems

Human Robot Interaction

Lego Mindstorms

Reachability Analysis

Top Venues

IEEE Trans. Robotics

IEEE Trans. Control. Syst. Technol.

Publications

Stefan B. Liu, Bastian Schürmann, Matthias Althoff
Guarantees for Real Robotic Systems: Unifying Formal Controller Synthesis and Reachset-Conformant Identification. IEEE Trans. Robotics 39 (5) (2023)
Sven R. Schepp, Jakob Thumm, Stefan B. Liu, Matthias Althoff
SaRA: A Tool for Safe Human-Robot Coexistence and Collaboration through Reachability Analysis. ICRA (2022)
Andrea Giusti, Stefan B. Liu, Matthias Althoff
Interval-Arithmetic-Based Robust Control of Fully Actuated Mechanical Systems. IEEE Trans. Control. Syst. Technol. 30 (4) (2022)
Stefan B. Liu, Bastian Schürmann, Matthias Althoff
Reachability-based Identification, Analysis, and Control Synthesis of Robot Systems. CoRR (2021)
Stefan B. Liu, Matthias Althoff
Online Verification of Impact-Force-Limiting Control for Physical Human-Robot Interaction. IROS (2021)
Stefan B. Liu, Matthias Althoff
Optimizing performance in automation through modular robots. ICRA (2020)
Matthias Althoff, Andrea Giusti, Stefan B. Liu, Aaron Pereira
Effortless creation of safe robots from modules through self-programming and self-verification. Sci. Robotics 4 (31) (2019)
Michael Wagner, Stefan B. Liu, Andrea Giusti, Matthias Althoff
Interval-Arithmetic-Based Trajectory Scaling and Collision Detection for Robots with Uncertain Dynamics. IRC (2018)
Stefan B. Liu, Matthias Althoff
Reachset Conformance of Forward Dynamic Models for the Formal Analysis of Robots. IROS (2018)
Stefan B. Liu, Hendrik Roehm, Christian Heinzemann, Ingo Lütkebohle, Jens Oehlerking, Matthias Althoff
Provably safe motion of mobile robots in human environments. IROS (2017)