Self-Driving Vehicle Verification Towards a Benchmark.
Nima RoohiRamneet KaurJames WeimerOleg SokolskyInsup LeePublished in: CoRR (2018)
Keyphrases
- autonomous driving
- intelligent vehicles
- driver assistance systems
- traffic accidents
- dangerous situations
- vehicle detection
- grand challenge
- driving simulator
- model checking
- pedestrian detection
- intelligent transport systems
- driving behavior
- traffic safety
- real time
- electric vehicles
- traffic surveillance
- database
- real world
- temporal logic
- comparative analysis
- fuel consumption
- face verification
- formal verification
- traffic management
- vehicle tracking
- computer controlled
- intelligent transportation systems
- signature verification
- road vehicles
- data sets
- mounted camera