Automatic OBDD-Based Generation of Universal Plans in Non-Deterministic Domains

Cimatti et al. "Automatic OBDD-Based Generation of Universal Plans in Non-Deterministic Domains." AAAI Conference on Artificial Intelligence, 1998.

[Cimatti et al. "Automatic OBDD-Based Generation of Universal Plans in Non-Deterministic Domains." AAAI Conference on Artificial Intelligence, 1998.](https://mlanthology.org/aaai/1998/cimatti1998aaai-automatic/)

@inproceedings{cimatti1998aaai-automatic,
  title     = {{Automatic OBDD-Based Generation of Universal Plans in Non-Deterministic Domains}},
  author    = {Cimatti, Alessandro and Roveri, Marco and Traverso, Paolo},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1998},
  pages     = {875-881},
  url       = {https://mlanthology.org/aaai/1998/cimatti1998aaai-automatic/}
}