自动驾驶

SafeDriveRAG: Towards Safe Autonomous Driving with Knowledge Graph-based Retrieval-Augmented Generation

Hao Ye, Mengshi Qi, Zhaohong Liu, Liang Liu, Huadong Ma

机构 * State Key Laboratory of Networking and Switching Technology, Beijing University of Posts and Telecommunications（网络与交换技术国家重点实验室，北京邮电大学） 纠错

专题命中 仿真评测 ：autonomous driving(title,abstract)；分类 cs.AI

A Scalable Approach to Probabilistic Neuro-Symbolic Robustness Verification

Vasileios Manginas, Nikolaos Manginas, Edward Stevinson, Sherwin Varghese, Nikos Katzouris, Georgios Paliouras, Alessio Lomuscio

机构 * Department of Computer Science and Leuven.AI KU Leuven Belgium（比利时列日大学计算机科学系） ； Department of Computing Imperial College London UK（伦敦帝国学院计算机系） 纠错

专题命中 仿真评测 ：autonomous driving(abstract)；分类 cs.AI

Comments 19th Conference on Neurosymbolic Learning and Reasoning

Hierarchical Game-Based Multi-Agent Decision-Making for Autonomous Vehicles

Mushuang Liu, Yan Wan, Frank Lewis, Subramanya Nageshrao, H. Eric Tseng, Dimitar Filev

专题命中 仿真评测 ：autonomous driving(abstract)

Comments 12 pages, 20 figures, 1 algorithm