H. Roehm, J. Oehlerking, T. Heinz, and M. AlthoffSTL model checking of continuous and hybrid systemsProc. of the 14th International Symposium on Automated Technology for Verification and Analysis2016
Han, D.; El-Guindy, A. ; Althoff, M.Power Systems Transient Stability Analysis via Optimal Rational {L}yapunov FunctionsProceedings of the IEEE Power and Energy Society General Meeting2016
A Formally Verified Checker of the Safe Distance Traffic Rules for Autonomous Vehicles2016
Zeestraten, M. ~J. ~A.;Pereira, A.;Althoff, M.;Calinon, S.Online Motion Synthesis with Minimal Intervention Control and Formal Safety Guarantees2116-2121Proc. of IEEE International Conference on Systems, Man, and Cybernetics2016
Roehm, H.;Oehlerking, J.;Woehrle, M.;Althoff, M.Reachset Conformance Testing of Hybrid Automata277-286Proc. of Hybrid Systems: Computation and Control2016
Roehm, H.;Oehlerking, J.;Heinz, T.;Althoff, M.{STL} Model Checking of Continuous and Hybrid Systems412–427Proc. of the 14th International Symposium on Automated Technology for Verification and Analysis2016
Pereira, A.;Althoff, M.Overapproximative Arm Occupancy Prediction for Human-Robot Interaction Built from Archetypal Movements1394-1401International Conference on Robotics and Automation2016
Magdici, S.;Althoff, M.Fail-Safe Motion Planning of Autonomous Vehicles452-458Proc. of the 19th International IEEE Conference on Intelligent Transportation Systems2016
Han, D.;Rizaldi, A.;El-Guindy, A.;Althoff, M.On Enlarging Backward Reachable Sets via Zonotopic Set Membership685-692Proc.of the IEEE International Symposium on Intelligent Control2016
Han, D.;El-Guindy, A.;Althoff, M.Estimating the Domain of Attraction based on the Invariance Principle5569-5576Proc. of the 55th IEEE Conference on Decision and Control2016