Cimatti and Roveri. "Conformant Planning via Symbolic Model Checking." Journal of Artificial Intelligence Research, 2000. doi:10.1613/JAIR.774
Markdown
[Cimatti and Roveri. "Conformant Planning via Symbolic Model Checking." Journal of Artificial Intelligence Research, 2000.](https://mlanthology.org/jair/2000/cimatti2000jair-conformant/) doi:10.1613/JAIR.774
BibTeX
@article{cimatti2000jair-conformant,
title = {{Conformant Planning via Symbolic Model Checking}},
author = {Cimatti, Alessandro and Roveri, Marco},
journal = {Journal of Artificial Intelligence Research},
year = {2000},
pages = {305-338},
doi = {10.1613/JAIR.774},
volume = {13},
url = {https://mlanthology.org/jair/2000/cimatti2000jair-conformant/}
}