Details for the publication YuLPK25.

Pian Yu, Yong Li, Dave Parker, Marta Kwiatkowska: Planning with Linear Temporal Logic Specifications: Handling Quantifiable and Unquantifiable Uncertainty. In IEEE International Conference on Robotics & Automation, 19–23 May, Atlanta, USA, 2025. URL