检索范围:
排序: 展示方式:
Semantic Consistency and Correctness Verification of Digital Traffic Rules
Lei Wan,Changjun Wang,Daxin Luo,Hang Liu,Sha Ma,Weichao Hu,
《工程(英文)》 doi: 10.1016/j.eng.2023.04.016
关键词: Autonomous driving Traffic rules Digitization Formalization Verification
标题 作者 时间 类型 操作