Sebastian Maierhofer

According to our database, Sebastian Maierhofer authored at least 8 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

EDGAR: An Autonomous Driving Research Platform - From Feature Development to Real-World Application.

Phillip Karle, Tobias Betz, Marcin Bosk, Felix Fent, Nils Gehrke, Maximilian Geisslinger, Luis Gressenbuch, Philipp Hafemann, Sebastian Huber, Maximilian Hübner, Sebastian Huch, Gemb Kaljavesi, Tobias Kerbl, Dominik Kulmer, Tobias Mascetta, Sebastian Maierhofer, Florian Pfab, Filip Rezabek, Esteban Rivera, Simon Sagmeister, Leander Seidlitz, Florian Sauerbeck, Ilir Tahiraj, Rainer Trauth, Nico Uhlemann, Gerald Würsching, Baha Zarrouki, Matthias Althoff, Johannes Betz, Klaus Bengler, Georg Carle, Frank Diermeyer, Jörg Ott, Markus Lienkamp

CoRR, 2023

Map Verification and Repairing Using Formalized Map Specifications.

Sebastian Maierhofer, Yannick Ballnath, Matthias Althoff

Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2023

2022

Formalization of Intersection Traffic Rules in Temporal Logic.

Sebastian Maierhofer, Paul Moosbrugger, Matthias Althoff

Proceedings of the 2022 IEEE Intelligent Vehicles Symposium, 2022

2021

Provably-Correct and Comfortable Adaptive Cruise Control.

Matthias Althoff, Sebastian Maierhofer, Christian Pek

IEEE Trans. Intell. Veh., 2021

CommonRoad Scenario Designer: An Open-Source Toolbox for Map Conversion and Scenario Creation for Autonomous Vehicles.

Sebastian Maierhofer, Moritz Klischat, Matthias Althoff

Proceedings of the 24th IEEE International Intelligent Transportation Systems Conference, 2021

Sampling-Based Trajectory Repairing for Autonomous Vehicles.

Yuanfei Lin, Sebastian Maierhofer, Matthias Althoff

Proceedings of the 24th IEEE International Intelligent Transportation Systems Conference, 2021

2020

Formalization of Interstate Traffic Rules in Temporal Logic.

Sebastian Maierhofer, Anna-Katharina Rettinger, Eva Charlotte Mayer, Matthias Althoff

Proceedings of the IEEE Intelligent Vehicles Symposium, 2020

2019

Computationally Efficient Safety Falsification of Adaptive Cruise Control Systems.

Markus Koschi, Christian Pek, Sebastian Maierhofer, Matthias Althoff

Proceedings of the 2019 IEEE Intelligent Transportation Systems Conference, 2019