SDLV: Verification of Steering Angle Safety for Self-Driving Cars.
Huihui WuDeyun LvTengxiang CuiGang HouMasahiko WatanabeWeiqiang KongPublished in: Formal Aspects Comput. (2021)
Keyphrases
- model checking
- traffic accidents
- safety analysis
- intelligent vehicles
- formal verification
- traffic safety
- fuel consumption
- face verification
- driving behavior
- database
- road safety
- driver assistance systems
- functional verification
- driving simulator
- nuclear power plant
- asynchronous circuits
- fingerprint verification
- machine learning