ML Anthology

Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning

Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri
IJCAI 2001 pp. 467-472
/ijcai/2001/bertoli2001ijcai-heuristic/
Semantic Scholar

Cite

Text

Bertoli et al. "Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning." International Joint Conference on Artificial Intelligence, 2001.

Markdown

[Bertoli et al. "Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning." International Joint Conference on Artificial Intelligence, 2001.](https://mlanthology.org/ijcai/2001/bertoli2001ijcai-heuristic/)

BibTeX

@inproceedings{bertoli2001ijcai-heuristic,
  title     = {{Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning}},
  author    = {Bertoli, Piergiorgio and Cimatti, Alessandro and Roveri, Marco},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2001},
  pages     = {467-472},
  url       = {https://mlanthology.org/ijcai/2001/bertoli2001ijcai-heuristic/}
}