Probabilistic Collision Prediction for Vision-Based Automated Road Safety Analysis.
Nicolas SaunierTarek SayedClark LimPublished in: ITSC (2007)
Keyphrases
- safety analysis
- control system
- nuclear power plant
- symbolic model checking
- safety critical
- fault model
- driver assistance systems
- real time
- bayesian networks
- intelligent vehicles
- formal verification
- reliability analysis
- symbolic representation
- real valued
- intelligent agents
- fuzzy logic
- expert systems
- artificial intelligence