Pian Yu, Yong Li 0031, David Parker 0001, Marta Kwiatkowska. Planning with Linear Temporal Logic Specifications: Handling Quantifiable and Unquantifiable Uncertainty. In IEEE International Conference on Robotics and Automation, ICRA 2025, Atlanta, GA, USA, May 19-23, 2025. pages 3940-3946, IEEE, 2025. [doi]
Abstract is missing.