%0 Conference Paper %1 conf/uai/ChatterjeeHJM05 %A Chatterjee, Krishnendu %A Henzinger, Thomas A. %A Jhala, Ranjit %A Majumdar, Rupak %B UAI %D 2005 %I AUAI Press %K dblp %P 104-111 %T Counterexample-guided Planning. %U http://dblp.uni-trier.de/db/conf/uai/uai2005.html#ChatterjeeHJM05 %@ 0-9749039-1-4

@inproceedings{conf/uai/ChatterjeeHJM05, added-at = {2021-02-03T00:00:00.000+0100}, author = {Chatterjee, Krishnendu and Henzinger, Thomas A. and Jhala, Ranjit and Majumdar, Rupak}, biburl = {https://www.bibsonomy.org/bibtex/2ba2b4b34587f2476998ce1dda4428961/dblp}, booktitle = {UAI}, crossref = {conf/uai/2005}, ee = {https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1&smnu=2&article_id=1214&proceeding_id=21}, interhash = {310f11e13abdae228a9206bdd2deaec4}, intrahash = {ba2b4b34587f2476998ce1dda4428961}, isbn = {0-9749039-1-4}, keywords = {dblp}, pages = {104-111}, publisher = {AUAI Press}, timestamp = {2024-04-10T16:35:25.000+0200}, title = {Counterexample-guided Planning.}, url = {http://dblp.uni-trier.de/db/conf/uai/uai2005.html#ChatterjeeHJM05}, year = 2005 }