自动驾驶

Precise and Efficient Collision Prediction under Uncertainty in Autonomous Driving

Marc Kaufeld, Johannes Betz

专题命中 规划控制 ：autonomous driving(title,abstract)；trajectory planning(abstract)；分类 cs.RO

Comments 8 pages, submitted to the IEEE ICRA 2026, Vienna, Austria

Can Large Language Models Autoformalize Kinematics?

Aditi Kabra, Jonathan Laurent, Sagar Bharadwaj, Ruben Martins, Stefan Mitsch, André Platzer

机构 * Carnegie Mellon University（卡内基梅隆大学） ； Karlsruhe Institute of Technology（卡尔斯鲁厄理工学院） ； DePaul University（德保罗大学） 纠错

专题命中 规划控制 ：self-driving(abstract)；分类 cs.AI

Journal ref Proc. 25th International Conference on Formal Methods in Computer-Aided Design (FMCAD), pp. 78-83, TU Wien Academic Press, 2025