The article "Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development" has received a "distinguished artifact award" at the TACAS 2024 conference.
See also the related post on the Bosch Research Blog.
The article "Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development" has received a "distinguished artifact award" at the TACAS 2024 conference.
See also the related post on the Bosch Research Blog.