Stefan Liu, M.Sc.

Stefan Liu is currently research assistant and PhD student under the supervision of Prof. Dr.-Ing. Matthias Althoff. He holds a bachelor's degree in Mechatronics and a master's degree in Robotics, Cognition, Intelligence from the Technical University of Munich (TUM).

Picture of Boson Stefan Liu

Boson Stefan Liu, M.Sc.

Informatics 6 - Chair of Robotics, Artificial Intelligence and Real-time Systems (Prof. Knoll)

Postal address

Boltzmannstr. 3
85748 Garching b. München

Research interest

  • Safety of human-robot-interaction
  • Formal verification of hybrid systems

Further interest: modular robotics, reachability analysis, human-robot collaboration, mobile robots, control theory, modelling & simulation

Currently, Stefan Liu is involved in the following research project:

Offered Theses

Please contact me (email or visit my office) if you are interested in one of the offered topics. If none of them suit your interest, but you are anyway interested in my research area, you are also welcome to contact me.


SS 2018

- Übung zu Cyber-Physical Systems (IN2305, 6 ECTS)
- Master-Praktikum (10 ECTS) Building a modular robot

WS 2017/18

- Master-Praktikum (10 ECTS) Building a modular robot
- Seminar (4 ECTS) Cyber-physical systems



  • Liu, S. B.; Althoff, M.: Reachset Conformance of Forward Dynamic Models for the Formal Analysis of Robots. Proceedings of the 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2018 mehr… BibTeX
  • Wagner, M.; Liu, S. B.; Giusti, A.; Althoff, M.: Interval-Arithmetic-Based Trajectory Scaling and Collision Detection for Robots with Uncertain Dynamics. Proc. of the IEEE International Conference on Robotic Computing, 2018 mehr… BibTeX Volltext (mediaTUM)


  • Liu, S. B.; Roehm, H.; Heinzemann, C.; Lütkebohle, I.; Oehlerking, J.; Althoff, M.: Provably Safe Motion of Mobile Robots in Human Environments. Proc. of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2017 mehr… BibTeX Volltext ( DOI ) Volltext (mediaTUM)