Alessandro Cimatti, Marco Roveri, Piergiorgio Bertoli. Conformant planning via symbolic model checking and heuristic search. Artificial Intelligence, 159(1-2):127-206, 2004. [doi]
@article{CimattiRB04, title = {Conformant planning via symbolic model checking and heuristic search}, author = {Alessandro Cimatti and Marco Roveri and Piergiorgio Bertoli}, year = {2004}, doi = {10.1016/j.artint.2004.05.003}, url = {http://dx.doi.org/10.1016/j.artint.2004.05.003}, tags = {model checking, meta-model, Meta-Environment, search}, researchr = {https://researchr.org/publication/CimattiRB04}, cites = {0}, citedby = {0}, journal = {Artificial Intelligence}, volume = {159}, number = {1-2}, pages = {127-206}, }