Althoff, M.;Urban, S.;Koschi, M.
Automatic Conversion of Road Networks from OpenDRIVE to Lanelets
Proc. of the IEEE International Conference on Service Operations and Logistics, and Informatics
2018

Wu, Jingyuan;Ruenz, Johannes;Althoff, Matthias
Probabilistic Map-based Pedestrian Motion Prediction Taking Traffic Participants into Consideration
Proc. of the IEEE Intelligent Vehicles Symposium
2018

Rizaldi, A.;Immler, F.;Schürmann, B.;Althoff, M.
A Formally Verified Motion Planner for Autonomous Vehicles
Proc. of the International Symposium on Automated Technology for Verification and Analysis
2018

Mesesan, G.;Roa, M.~A.;Icer, E.;Althoff, M.
Hierarchical Path Planner using Workspace Decomposition and Parallel Task-Space RRTs
Proc. of the IEEE/RSJ International Conference on Intelligent Robots and Systems
2018

Li, Yan;Zhang, Peng;Althoff, Matthias;Yue, Meng
Distributed Formal Analysis for Power Networks With Deep Integration of Distributed Energy Resources
IEEE Transactions on Power Systems
2019
34
6
5147-5156

Giusti, A.;Zeestraten, M. ~J. ~A.;Icer, E.;Pereira, A.;Caldwell, D. ~G.;Calinon, S.;Althoff, M.
Flexible Automation Driven by Demonstration: Leveraging Strategies that Simplify Robotics
IEEE Robotics Automation Magazine
2018
25
2
18-27

Giusti, Andrea;Malzahn, Jorn;Tsagarakis, Nikolaos G.;Althoff, Matthias
On the Combined Inverse-Dynamics/Passivity-Based Control of Elastic-Joint Robots
IEEE Transactions on Robotics
2018
34
6
1461-1471

Gruber, F.;Althoff, M.
Anytime safety verification of autonomous vehicles
1708-1714
IEEE Conference on Intelligent Transportation Systems
2018

Manzinger, S.;Althoff, M.
Tactical Decision Making for Cooperative Vehicles Using Reachable Sets
Proc. of the 21st IEEE International Conference on Intelligent Transportation Systems
2018

Zhu, A.;Manzinger, S.;Althoff, M.
Evaluating Location Compliance Approaches for Automated Road Vehicles
Proc. of the IEEE Intelligent Vehicles Symposium
2018