Sign in

Longitudinal Safety Analysis For Heterogeneous Platoon of Automated And Human Vehicles.

Zi YangXinpeng WangXin PeiShuo FengDajun WangJianqiang WangS. 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