@misc{indiciae49437ba55519,
  title = {OBDD-based Universal Planning for Synchronized Agents in Non-Deterministic Domains},
  author = {R. M. Jensen and M. M. Veloso},
  year = {2011},
  doi = {10.1613/jair.649},
  url = {https://arxiv.org/abs/1106.0229},
  note = {Source identifier: 1106.0229}
}