Search scope:
排序: Display mode:
Semantic Consistency and Correctness Verification of Digital Traffic Rules
Lei Wan,Changjun Wang,Daxin Luo,Hang Liu,Sha Ma,Weichao Hu,
Engineering doi: 10.1016/j.eng.2023.04.016
Keywords: Autonomous driving Traffic rules Digitization Formalization Verification
Title Author Date Type Operation