TY  - RPRT
TI  - Planning with Linear Temporal Logic Specifications: Handling Quantifiable and Unquantifiable Uncertainty
AU  - Pian Yu
AU  - Yong Li
AU  - David Parker
AU  - Marta Kwiatkowska
PY  - 2025
UR  - https://arxiv.org/abs/2502.19603
ID  - 2502.19603
ER  -