OBDD-based Universal Planning: Specifying and Solving Planning Problems for Synchronized Agents in Non-deterministic Domains

R. M. Jensen,M. Veloso
DOI: https://doi.org/10.1007/3-540-48317-9_9
Abstract:
What problem does this paper attempt to address?