Planning with Linear Temporal Logic Specifications: Handling Quantifiable and Unquantifiable Uncertainty.

Pian Yu, Yong Li, David Parker, Marta Kwiatkowska

Browse the full ICRA paper archive.