Login / Signup
Longitudinal Safety Analysis For Heterogeneous Platoon of Automated And Human Vehicles.
Zi Yang
Xinpeng Wang
Xin Pei
Shuo Feng
Dajun Wang
Jianqiang Wang
S. C. Wong
Published in:
ITSC (2018)
Keyphrases
</>
safety analysis
traffic flow
safety critical
real time
nuclear power plant
control system
symbolic model checking
multi agent systems