control engineering computing; mobile robots; road traffic; road vehicles; theorem proving; Isabelle/HOL; autonomous vehicle accountability; autonomous vehicles collision; road traffic; traffic rule formalization; Cost accounting; Law; Mobile robots; Roads; Vehicles;
机译:自主远程操作车辆安全信封和海底交通规则的开发
机译:交通信用计划中交通网络中的混合交通流量交通均衡及交通网络中的交通均衡
机译:混合动力和自动驾驶车辆的多类交通分配模型
机译:正式制定自动驾驶汽车交通规则
机译:用于车辆转换的合作交通管制解决方案从自主到手动模式利用蜂窝载体 - 一切(C-V2X)技术
机译:面向互联(半)自动驾驶汽车的智能城市交通系统的互联交通数据本体论(CTDO)
机译:交通信用计划中交通网络中的混合交通流量交通均衡及交通网络中的交通均衡
机译:自动驾驶汽车对交通拥堵和撞车意味着什么?自主车辆网络交通流建模与仿真。