A CMDPST framework combined with LTLf enables synthesis of resource-aware robust strategies for robots facing both probabilistic and nondeterministic uncertainty.
Planning with linear temporal logic specifications: Handling quantifiable and unquantifiable uncertainty
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.RO 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Resource-Constrained Robotic Planning in the face of Mixed Uncertainty
A CMDPST framework combined with LTLf enables synthesis of resource-aware robust strategies for robots facing both probabilistic and nondeterministic uncertainty.