Safety Assessment of Autonomous Cars using Verification Techniques.

Matthias Althoff, Olaf Stursberg, Martin Buss

Browse the full ACC paper archive.