Compact Policies for Fully Observable Non-Deterministic Planning as SAT
ICAPS, pp. 88-96, 2018.
Fully observable non-deterministic (FOND) planning is becoming increasingly important as an approach for computing proper policies in 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 compact strong cycl...More
Full Text (Upload PDF)
PPT (Upload PPT)