Autonomous Driving System : Model Based Safety Analysis.
Mohamed TligMathilde MachinRomain KerneisEmmanuel ArbaretierLinda ZhaoFlorent MeurvilleJean Van FrankPublished in: DSN Workshops (2018)
Keyphrases
- safety analysis
- autonomous driving
- grand challenge
- nuclear power plant
- symbolic model checking
- safety critical
- control system
- stereo vision
- fault model
- vision algorithms
- urban traffic
- computer vision
- real time
- fault tolerant
- reliability analysis
- dynamic environments
- intelligent systems
- low cost
- state space
- decision making
- machine learning