Sebastian Maierhofer

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 9

Top Topics

Autonomous Vehicles

Formal Specification Language

Motion Planning

Computationally Efficient

Top Venues

IEEE Trans. Intell. Veh.

Publications

Sebastian Maierhofer, Matthias Althoff
CommonRoad-CARLA Interface: Bridging the Gap between Motion Planning and 3D Simulation. IV (2024)
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
EDGAR: An Autonomous Driving Research Platform - From Feature Development to Real-World Application. CoRR (2023)
Sebastian Maierhofer, Yannick Ballnath, Matthias Althoff
Map Verification and Repairing Using Formalized Map Specifications. ITSC (2023)
Sebastian Maierhofer, Paul Moosbrugger, Matthias Althoff
Formalization of Intersection Traffic Rules in Temporal Logic. IV (2022)
Sebastian Maierhofer, Moritz Klischat, Matthias Althoff
CommonRoad Scenario Designer: An Open-Source Toolbox for Map Conversion and Scenario Creation for Autonomous Vehicles. ITSC (2021)
Yuanfei Lin, Sebastian Maierhofer, Matthias Althoff
Sampling-Based Trajectory Repairing for Autonomous Vehicles. ITSC (2021)
Matthias Althoff, Sebastian Maierhofer, Christian Pek
Provably-Correct and Comfortable Adaptive Cruise Control. IEEE Trans. Intell. Veh. 6 (1) (2021)
Sebastian Maierhofer, Anna-Katharina Rettinger, Eva Charlotte Mayer, Matthias Althoff
Formalization of Interstate Traffic Rules in Temporal Logic. IV (2020)
Markus Koschi, Christian Pek, Sebastian Maierhofer, Matthias Althoff
Computationally Efficient Safety Falsification of Adaptive Cruise Control Systems. ITSC (2019)