Stefan B. Liu

According to our database, Stefan B. Liu authored at least 11 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Guarantees for Real Robotic Systems: Unifying Formal Controller Synthesis and Reachset-Conformant Identification.

Stefan B. Liu, Bastian Schürmann, Matthias Althoff

IEEE Trans. Robotics, October, 2023

2022

Interval-Arithmetic-Based Robust Control of Fully Actuated Mechanical Systems.

Andrea Giusti, Stefan B. Liu, Matthias Althoff

IEEE Trans. Control. Syst. Technol., 2022

SaRA: A Tool for Safe Human-Robot Coexistence and Collaboration through Reachability Analysis.

Sven R. Schepp, Jakob Thumm, Stefan B. Liu, Matthias Althoff

Proceedings of the 2022 International Conference on Robotics and Automation, 2022

2021

Supplementary data for "Velocity Estimation of Robot Manipulators: An Experimental Comparison".

Stefan B. Liu, Andrea Giusti, Matthias Althoff

Dataset, November, 2021

Reachability-based Identification, Analysis, and Control Synthesis of Robot Systems.

Stefan B. Liu, Bastian Schürmann, Matthias Althoff

CoRR, 2021

Online Verification of Impact-Force-Limiting Control for Physical Human-Robot Interaction.

Stefan B. Liu, Matthias Althoff

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021

2020

Optimizing performance in automation through modular robots.

Stefan B. Liu, Matthias Althoff

Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

2019

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

2018

Reachset Conformance of Forward Dynamic Models for the Formal Analysis of Robots.

Stefan B. Liu, Matthias Althoff

Proceedings of the 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2018

Interval-Arithmetic-Based Trajectory Scaling and Collision Detection for Robots with Uncertain Dynamics.

Michael Wagner, Stefan B. Liu, Andrea Giusti, Matthias Althoff

Proceedings of the Second IEEE International Conference on Robotic Computing, 2018

2017

Provably safe motion of mobile robots in human environments.

Stefan B. Liu, Hendrik Roehm, Christian Heinzemann, Ingo Lütkebohle, Jens Oehlerking, Matthias Althoff

Proceedings of the 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2017