Compact Policies for Fully-Observable Non-Deterministic Planning as SAT
CoRR, Volume abs/1806.09455, 2018.
Fully observable non-deterministic (FOND) planning is becoming increasingly important as an approach for computing proper policies in probabilistic planning, extended temporal plans in LTL planning, and general plans in generalized planning. In this work, we introduce a SAT encoding for FOND planning that is compact and can produce comp...More
Full Text (Upload PDF)
PPT (Upload PPT)