ML Anthology

Planning in Nondeterministic Domains Under Partial Observability via Symbolic Model Checking

Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri, Paolo Traverso
IJCAI 2001 pp. 473-478
/ijcai/2001/bertoli2001ijcai-planning/
Semantic Scholar

Cite

Text

Bertoli et al. "Planning in Nondeterministic Domains Under Partial Observability via Symbolic Model Checking." International Joint Conference on Artificial Intelligence, 2001.

Markdown

[Bertoli et al. "Planning in Nondeterministic Domains Under Partial Observability via Symbolic Model Checking." International Joint Conference on Artificial Intelligence, 2001.](https://mlanthology.org/ijcai/2001/bertoli2001ijcai-planning/)

BibTeX

@inproceedings{bertoli2001ijcai-planning,
  title     = {{Planning in Nondeterministic Domains Under Partial Observability via Symbolic Model Checking}},
  author    = {Bertoli, Piergiorgio and Cimatti, Alessandro and Roveri, Marco and Traverso, Paolo},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2001},
  pages     = {473-478},
  url       = {https://mlanthology.org/ijcai/2001/bertoli2001ijcai-planning/}
}