Counterexample-guided Planning - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Krishnendu Chatterjee' in GoogleThis author has not been identified. Look up 'Thomas A. Henzinger' in GoogleThis author has not been identified. Look up 'Ranjit Jhala' in GoogleThis author has not been identified. Look up 'Rupak Majumdar' in Google

runs on WebDSL