Compact Policies for Fully-Observable Non-Deterministic Planning as SAT

Tomas Geffner
Tomas Geffner

CoRR, Volume abs/1806.09455, 2018.

Cited by: 0|Bibtex|Views12
EI
Other Links: dblp.uni-trier.de|arxiv.org

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments