"Safety Assessment of Autonomous Cars using Verification Techniques."

Matthias Althoff, Olaf Stursberg, Martin Buss (2007)

Details and statistics

DOI: 10.1109/ACC.2007.4282809

access: closed

type: Conference or Workshop Paper

metadata version: 2021-10-14