Counterexample-guided Planning

Krishnendu Chatterjee Thomas A. Henzinger Ranjit Jhala Rupak Majumdar

Published in: CoRR (2012)

Keyphrases

model checking
artificial intelligence
databases
machine learning
computer vision
state space
orders of magnitude
planning problems
motion planning
decision theoretic
action selection
ai planning
initial state
mixed initiative
stochastic domains