Hess, D.;Althoff, M.;Sattel, T.
Formal Verification of Maneuver Automata for Parameterized Motion Primitives
1474-1481
Proc. of the IEEE/RSJ International Conference on Intelligent Robots and Systems
2014

Althoff, M.
Formal and Compositional Analysis of Power Systems using Reachable Sets
IEEE Transactions on Power Systems
2014
29
5
2270-2280

Althoff, M.;Krogh, B. H.
Reachability Analysis of Nonlinear Differential-Algebraic Systems
IEEE Transactions on Automatic Control
2014
59
2
371-383

Althoff, M.;Dolan, J. M.
Online Verification of Automated Road Vehicles Using Reachability Analysis
IEEE Transactions on Robotics
2014
30
4
903-918