Author of the publication

Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development.

, , , , , , , , , and . TACAS (2), volume 14571 of Lecture Notes in Computer Science, page 44-65. Springer, (2024)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Trajectory Planning for Automated Merging on Highways., , , , and . VEHITS, page 283-290. SciTePress, (2019)How Can Automated Vehicles Explain Their Driving Decisions? Generating Clarifying Summaries Automatically., , and . IV, page 935-942. IEEE, (2022)Landmark-based navigation in large-scale outdoor environments., , and . IROS, page 4445-4450. IEEE, (2015)Motion planning for autonomous vehicles in highly constrained urban environments., , and . IROS, page 4708-4713. IEEE, (2016)Precise object-relative positioning for car-like robots., , and . ITSC, page 1720-1726. IEEE, (2016)Assistenz- und Autonomiefunktionen zur Entlastung des Fahrers in Offroad-Szenarien., , , , , , , , and . Automatisierungstechnik, 65 (7): 495 (2017)Developers' Information Needs during Test Drives with Automated Vehicles in Real Traffic: A Focus Group Study., , , and . AutomotiveUI (adjunct), page 81-85. ACM, (2021)Optimization-based Tactical Behavior Planning for Autonomous Freeway Driving in Favor of the Traffic Flow., , , , , and . IV, page 1033-1040. IEEE, (2019)Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development., , , , , , , , , and . TACAS (2), volume 14571 of Lecture Notes in Computer Science, page 44-65. Springer, (2024)Robust long-range teach-and-repeat in non-urban environments., , , and . ITSC, page 1-6. IEEE, (2017)