D. Beckert, A. Pereira, and M. Althoff
Online verification of multiple safety criteria for a robot trajectory
Proc. IEEE Conf. Decision and Control (CDC)
2017

J. Reinhardt, A. Pereira, D. Beckert, and K. Bengler
Dominance and movement cues of robot motion: A user study on trust and predictability
Proc. of IEEE Systems, Man and Cybernetics
2017

X. Chen, M. Althoff, and F. Immler
ARCH-COMP17 category report: Continuous systems with nonlinear dynamics
Proc. of the 4th International Workshop on Applied Verification for Continuous and Hybrid Systems
2017

A. Giusti and M. Althoff
On-the-fly control design of modular robot manipulators
IEEE Transactions on Control Systems Technology
2017

Pereira, A.; Althoff, M.
Overapproximative Human Arm Occupancy Prediction for Collision Avoidance
IEEE Transactions on Automation Science and Engineering
2017

Polikarpova, Nadia, Schneider, Steve
Formalising and monitoring traffic rules for autonomous vehicles in Isabelle/HOL
2017

Pereira, A.; Althoff, M.
A cartesian-space method for calculating human reachable occupancy
Technische Universität München
2017

Koschi, Markus; Althoff, Matthias
Interaction-Aware Occupancy Prediction of Road Vehicles
Proc. of the 20th IEEE International Conference on Intelligent Transportation Systems
2017

Hisch, F.;Giusti, A.;Althoff, M.
Robust Control of Continuum Robots using Interval Arithmetic
5660-5665
Proc. of the 20th World Congress of the International Federation of Automatic Control
2017

Frehse, G.;Althoff, M.
ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
2017