User: Guest  Login
Sort by:
and:
More ...

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

More ...

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

More ...

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

More ...

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

More ...

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

More ...

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

More ...

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

More ...

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

More ...

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

More ...

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