Compact Policies for Fully Observable Non-Deterministic Planning as SAT

Tomas Geffner
Tomas Geffner

ICAPS, pp. 88-96, 2018.

Cited by: 7|Bibtex|Views15
EI
Other Links: dblp.uni-trier.de|academic.microsoft.com

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments