ML Anthology

Planning as Model Checking for Extended Goals in Non-Deterministic Domains

Marco Pistore, Paolo Traverso
IJCAI 2001 pp. 479-486
/ijcai/2001/pistore2001ijcai-planning/
Semantic Scholar

Cite

Text

Pistore and Traverso. "Planning as Model Checking for Extended Goals in Non-Deterministic Domains." International Joint Conference on Artificial Intelligence, 2001.

Markdown

[Pistore and Traverso. "Planning as Model Checking for Extended Goals in Non-Deterministic Domains." International Joint Conference on Artificial Intelligence, 2001.](https://mlanthology.org/ijcai/2001/pistore2001ijcai-planning/)

BibTeX

@inproceedings{pistore2001ijcai-planning,
  title     = {{Planning as Model Checking for Extended Goals in Non-Deterministic Domains}},
  author    = {Pistore, Marco and Traverso, Paolo},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2001},
  pages     = {479-486},
  url       = {https://mlanthology.org/ijcai/2001/pistore2001ijcai-planning/}
}