Showing papers by "Paolo Traverso published in 2009"

TL;DR: This work presents a new planning algorithm, called Yoyo, for solving planning problems in fully observable nondeterministic domains, which combines an HTN-based mechanism for constraining its search and a Binary Decision Diagram representation for reasoning about sets of states and state transitions.