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]
@inproceedings{YuLPK25,
title = {Planning with Linear Temporal Logic Specifications: Handling Quantifiable and Unquantifiable Uncertainty},
author = {Pian Yu and Yong Li 0031 and David Parker 0001 and Marta Kwiatkowska},
year = {2025},
doi = {10.1109/ICRA55743.2025.11127333},
url = {https://doi.org/10.1109/ICRA55743.2025.11127333},
researchr = {https://researchr.org/publication/YuLPK25},
cites = {0},
citedby = {0},
pages = {3940-3946},
booktitle = {IEEE International Conference on Robotics and Automation, ICRA 2025, Atlanta, GA, USA, May 19-23, 2025},
publisher = {IEEE},
isbn = {979-8-3315-4139-2},
}