2022
- CommonRoad-Reach: A Toolbox for Reachability Analysis of Automated Vehicles. IEEE International Conference on Intelligent Transportation Systems (ITSC), 2022 mehr… BibTeX Volltext (mediaTUM)
- Formal Safety Net Control Using Backward Reachability Analysis. IEEE Transactions on Automatic Control 67 (11), 2022 mehr… BibTeX Volltext ( DOI ) Volltext (mediaTUM)
2021
- AROC: A Toolbox for Automated Reachset Optimal Controller Synthesis. Proc. of the 24th International Conference on Hybrid Systems: Computation and Control, 2021 mehr… BibTeX Volltext ( DOI ) Volltext (mediaTUM)
- CommonRoad Scenario Designer: An Open-Source Toolbox for Map Conversion and Scenario Creation for Autonomous Vehicles. Proc. of the IEEE Int. Conf. on Intelligent Transportation Systems , 2021, 3176-3182 mehr… BibTeX Volltext ( DOI ) Volltext (mediaTUM)
2020
- A Multi-Step Approach to Accelerate the Computation of Reachable Sets for Road Vehicles. Proc. of the IEEE Conf. on Intelligent Transportation Systems, 2020 mehr… BibTeX Volltext ( DOI ) Volltext (mediaTUM)
- Synthesizing Traffic Scenarios from Formal Specifications for Testing Automated Vehicles. Proc. of the IEEE Intelligent Vehicles Symposium, 2020, 2065-2072 mehr… BibTeX Volltext ( DOI ) Volltext (mediaTUM)
- Scenario Factory: Creating Safety-Critical Traffic Scenarios for Automated Vehicles. 2020 IEEE International Conference on Intelligent Transportation Systems (ITSC), 2020 mehr… BibTeX Volltext ( DOI ) Volltext (mediaTUM)
2019
- Generating Critical Test Scenarios for Automated Vehicles with Evolutionary Algorithms. Proc. of the IEEE Intelligent Vehicles Symposium, 2019, 2352 - 2358 mehr… BibTeX Volltext ( DOI ) Volltext (mediaTUM)
- Coupling SUMO with a Motion Planning Framework for Automated Vehicles. SUMO User Conference, 2019, 1-9 mehr… BibTeX Volltext ( DOI ) Volltext (mediaTUM)
2017
- Real-Time Path Planning in Unknown Environments for Bipedal Robots. IEEE Robotics and Automation Letters 2 (4), 2017, 1856--1863 mehr… BibTeX Volltext ( DOI ) Volltext (mediaTUM)