H. Roehm, J. Oehlerking, T. Heinz, and M. Althoff
STL model checking of continuous and hybrid systems
Proc. of the 14th International Symposium on Automated Technology for Verification and Analysis
2016

Han, D.; El-Guindy, A. ; Althoff, M.
Power Systems Transient Stability Analysis via Optimal Rational {L}yapunov Functions
Proceedings of the IEEE Power and Energy Society General Meeting
2016

A Formally Verified Checker of the Safe Distance Traffic Rules for Autonomous Vehicles
2016

Silvia Magdici and Mircea Lazar
On probabilistic state space abstraction of deterministic switched systems
551-558
Proc. of the 19th IEEE International Conference on System Theory, Control and Computing
IEEE
2015

Zeestraten, M. ~J. ~A.;Pereira, A.;Althoff, M.;Calinon, S.
Online Motion Synthesis with Minimal Intervention Control and Formal Safety Guarantees
2116-2121
Proc. of IEEE International Conference on Systems, Man, and Cybernetics
2016

Roehm, H.;Oehlerking, J.;Woehrle, M.;Althoff, M.
Reachset Conformance Testing of Hybrid Automata
277-286
Proc. of Hybrid Systems: Computation and Control
2016

Roehm, H.;Oehlerking, J.;Heinz, T.;Althoff, M.
{STL} Model Checking of Continuous and Hybrid Systems
412–427
Proc. of the 14th International Symposium on Automated Technology for Verification and Analysis
2016

Pereira, A.;Althoff, M.
Overapproximative Arm Occupancy Prediction for Human-Robot Interaction Built from Archetypal Movements
1394-1401
International Conference on Robotics and Automation
2016

Magdici, S.;Althoff, M.
Fail-Safe Motion Planning of Autonomous Vehicles
452-458
Proc. of the 19th International IEEE Conference on Intelligent Transportation Systems
2016

Han, D.;Rizaldi, A.;El-Guindy, A.;Althoff, M.
On Enlarging Backward Reachable Sets via Zonotopic Set Membership
685-692
Proc.of the IEEE International Symposium on Intelligent Control
2016