Exploring the Use of BDDs in Conformant Planning.

Stefano Tognazzi Agostino Dovier Enrico Pontelli Tran Cao Son

Published in: ICTAI (2015)

Keyphrases

conformant planning
symbolic model checking
binary decision diagrams
heuristic search
forward search
computationally hard
planning problems
initial state
ai planning
state space
belief space
boolean functions
finite domain
model checking
heuristic function
state space search
reinforcement learning