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]
Abstract is missing.