Rizaldi, A.;Immler, F.;Althoff, M.
A Formally Verified Checker of the Safe Distance Traffic Rules for Autonomous Vehicles
8th NASA Formal Methods Symposium
2016

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