scholar.google.com › citations
Apr 5, 2024 · This demonstrates that there is a high interest in and pressure on research to make automated vehicles (AV) safe. AD in the sense of a (future) ...
Apr 6, 2024 · We describe an approach to improve the development of an actual industrial behavior planner for the Automated Driving Alliance between Bosch and ...
Jan 23, 2024 · Supplementary Material for "Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development". Creators. Koenig, Lukas ...
Oct 17, 2023 · This is the artifact for the TACAS24 submission "Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development".
Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development. This is the repository we plan to use for the open source project for ...
May 13, 2024 · We are honored to announce that our paper "Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development" has been ...
May 13, 2024 · Our work on how to model check a behavior planner during development of safe autonomous cars at Bosch Research has been featured in the ...
Here, this paper presents an observation-robust reinforcement learning against observational uncertainties to realize safe decision making for autonomous ...
Jun 2, 2024 · Through rigorous validation, our method demonstrates marked improvements over traditional models, establishing a new benchmark for safety and ...
Missing: Checking | Show results with:Checking
Sep 10, 2024 · Our work on how to model check a behavior planner during development of safe autonomous cars at Bosch Research has been featured in the ...