TY  - RPRT
TI  - OBDD-based Universal Planning for Synchronized Agents in Non-Deterministic Domains
AU  - R. M. Jensen
AU  - M. M. Veloso
PY  - 2011
DO  - 10.1613/jair.649
UR  - https://arxiv.org/abs/1106.0229
ID  - 1106.0229
ER  -