Automated Vehicle Safety Guarantee, Verification and Certification: A Survey.
Tong ZhaoEkim YurtseverJoel PaulsonGiorgio RizzoniPublished in: CoRR (2022)
Keyphrases
- intelligent vehicles
- road safety
- semi automated
- pedestrian detection
- traffic accidents
- real time
- face verification
- vehicular networks
- fully automated
- safety analysis
- fuel consumption
- computer aided
- model checking
- neural network
- face detection
- safety critical
- data model
- false acceptance rate
- web services
- functional verification