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

Lukas Knig, Christian Heinzemann, Alberto Griggio, Michaela Klauck, Alessandro Cimatti, Franziska Henze, Stefano Tonetta, Stefan Kperkoch, Dennis Fassbender, Michael Hanselmann

Browse the full TACAS paper archive.