自动驾驶

Grammar-Constrained Refinement of Safety Operational Rules Using Language in the Loop: What Could Go Wrong

基于语言闭环的安全操作规则语法约束细化：可能发生的问题

Khouloud Gaaloul, Zaid Ghazal, Madhu Latha Pulimi, Sam Emmanuel Kathiravan

机构 * University of Michigan--Dearborn（密歇根大学迪尔伯恩分校） 纠错

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

AI总结 本文提出结合反事实推理与语法约束循环的框架，用于安全操作规则的细化，通过自主驾驶控制系统案例展示其在解决不一致规则中的有效性，并强调语法约束与语义验证的重要性。

Comments 6 pages, 1 figure, 2 tables. Accepted at SEAMS 2026

Journal ref Proc. 21st International Conference on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2026), ACM, 2026, 6 pages

DriVerse: Navigation World Model for Driving Simulation via Multimodal Trajectory Prompting and Motion Alignment

DriVerse：通过多模态轨迹提示和运动对齐实现驾驶模拟的导航世界模型

Xiaofan Li, Chenming Wu, Zhao Yang, Zhihao Xu, Dingkang Liang, Yumeng Zhang, Ji Wan, Jun Wang

机构 * Baidu Inc.（百度公司） 纠错

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

AI总结 DriVerse通过多模态轨迹提示和运动对齐技术，实现从单张图像和未来轨迹生成导航驱动的驾驶场景，提升了动态对象的生成精度和时间一致性。

Comments 13 pages, 5 figures

Empirical Insights of Test Selection Metrics under Multiple Testing Objectives and Distribution Shifts

基于多种测试目标和分布偏移的测试选择度量的实证洞察

Jingyu Zhang, Fan Wang, Jacky Keung, Yihan Liao, Yan Xiao, Lei Ma

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

AI总结 本文通过实证研究评估15种测试选择度量在不同测试目标、分布偏移场景和数据模态下的性能，揭示现有度量的局限性并提供全面评估。

Comments Accepted for publication at the ACM International Conference on the Foundations of Software Engineering (FSE 2026)

SwarmDrive: Semantic V2V Coordination for Latency-Constrained Cooperative Autonomous Driving

SwarmDrive: 语义车辆间协调用于延迟受限的协同自动驾驶

Anjie Qiu, Donglin Wang, Zexin Fang, Sanket Partani, Hans D. Schotten

机构 * Institute for Wireless Communication and Navigation（无线通信与导航研究所） ； RPTU University Kaiserslautern-Landau（科布伦茨-兰道大学） 纠错

专题命中 其他自动驾驶 ：autonomous driving(title,abstract)；分类 cs.RO、cs.AI

AI总结 SwarmDrive通过语义车辆间协调框架，在高不确定性时共享紧凑意图分布，并通过事件触发共识融合，提升协同自动驾驶性能，减少延迟并提高成功率。

Comments 6 pages, 4 figures, submitted to VTC fall 2026 workshop on W9: 2nd Workshop on Shaping Future Connectivity: Emerging and Intelligent Technologies for Sustainable Vehicular Networks

An Interactive Graphical Tool to Check the Coarray Continuity of Two-Fold Redundant Sparse Arrays (TFRSAs) Under Single Sensor Failures

一种交互式图形工具用于检查在单传感器故障下的双冗余稀疏阵列（TFRSAs）的共阵连续性

Namya Malik, Ashish Patwari, Sangeetha N

专题命中 其他自动驾驶 ：autonomous driving(abstract)

AI总结 本文提出一种交互式图形工具，用于验证双冗余稀疏阵列在单传感器故障下的共阵连续性，通过MATLAB开发的GUI提供全面框架和示例验证，确保阵列配置的冗余性。

Comments 25 pages, 12 figures, 1 Table