Safety Verification of Automated Driving Systems.

Roozbeh Kianfar Paolo Falcone Jonas Fredriksson

Published in: IEEE Intell. Transp. Syst. Mag. (2013)

Keyphrases

safety analysis
intelligent vehicles
formal methods
safety critical
case study
asynchronous circuits
fully automated
management system
expert systems
model checking
computer aided
knowledge based systems
semi automated
intelligent systems
formal verification
database systems
computer vision