Krishnendu Chatterjee, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar. Counterexample-guided Planning. In UAI 05, Proceedings of the 21st Conference in Uncertainty in Artificial Intelligence, July 26-29 2005, Edinburgh, Scotland. pages 104-111, AUAI Press, 2005. [doi]
@inproceedings{ChatterjeeHJM05,
title = {Counterexample-guided Planning},
author = {Krishnendu Chatterjee and Thomas A. Henzinger and Ranjit Jhala and Rupak Majumdar},
year = {2005},
url = {http://uai.sis.pitt.edu/displayArticleDetails.jsp?mmnu=1&smnu=2&article_id=1214&proceeding_id=21},
researchr = {https://researchr.org/publication/ChatterjeeHJM05},
cites = {0},
citedby = {0},
pages = {104-111},
booktitle = {UAI 05, Proceedings of the 21st Conference in Uncertainty in Artificial Intelligence, July 26-29 2005, Edinburgh, Scotland},
publisher = {AUAI Press},
isbn = {0-9749039-1-4},
}