Enhancing Trust in Autonomous Cars — Verification of Driving Capabilities using Model Checking

In the automated driving alliance, Bosch’s Cross-Domain Computing Solutions (XC) division and CARIAD collaborate on developing automated driving functions ranging from level 2 hands-free systems for urban and highway driving to level 3 systems that take full control of the vehicle on highways.

https://www.bosch.com/stories/safe-automated-driving/