Login / Signup
Looking at Intersections: A Survey of Intersection Monitoring, Behavior and Safety Analysis of Recent Studies.
Mohammad Shokrolah Shirazi
Brendan Tran Morris
Published in:
IEEE Trans. Intell. Transp. Syst. (2017)
Keyphrases
</>
safety analysis
nuclear power plant
safety critical
real time
control system
traffic light
symbolic model checking
monitoring system
fault model
decision making
user interface
model checking
domain independent
condition monitoring