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 and Automation, ICRA 2025, Atlanta, GA, USA, May 19-23, 2025, pages 3940-3946, 2025. DOI BIB