Concepedia

Sebastian Maierhofer

SM

7

Publications

287

Citations

7

H-Index

2019

Active since

Affiliations

Technical University of Munich(Current)

Sebastian Maierhofer is an author at Technical University of Munich specializing in engineering, computer science, and systems engineering.

Top concepts

EngineeringComputer ScienceSystems EngineeringAutomationVerificationFormal VerificationRoboticsData ScienceFormal MethodsRobot Learning

Publications per year

2019–2023

7

Publications

7

Provably-Correct and Comfortable Adaptive Cruise Control

Matthias Althoff, Sebastian Maierhofer, Christian Pek · IEEE Transactions on Intelligent Vehicles · 2020 · 71 citations · Full text

Adaptive Cruise Control, Engineering, Road Traffic Safety +14

Formalization of Interstate Traffic Rules in Temporal Logic

Sebastian Maierhofer, Anna-Katharina Rettinger, Eva Charlotte Mayer et al. · 2020 · 70 citations · Full text

Applied Logic, Engineering, Verification +17

Formalization of Intersection Traffic Rules in Temporal Logic

Sebastian Maierhofer, Paul Moosbrugger, Matthias Althoff · 2022 IEEE Intelligent Vehicles Symposium (IV) · 2022 · 44 citations · Full text

Applied Logic, Engineering, Verification +16

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

Sebastian Maierhofer, Moritz Klischat, Matthias Althoff · 2021 · 38 citations · Full text

Engineering, Commonroad Scenario Designer, Open-source Toolbox +18

Computationally Efficient Safety Falsification of Adaptive Cruise Control Systems

Markus Koschi, Christian Pek, Sebastian Maierhofer et al. · 2019 · 35 citations · Full text

Adaptive Cruise Control, Engineering, Vehicle Control +14

Rows per page

1–5 of 7