Shuhao Qi, Zengjie Zhang, Zhiyong Sun, Sofie Haesaert. Risk-Aware Autonomous Driving with Linear Temporal Logic Specifications. In IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2025, Hangzhou, China, October 19-25, 2025. pages 14877-14883, IEEE, 2025. [doi]
Abstract is missing.