Counterexample-Guided Cartesian Abstraction Refinement for Classical Planning.
Jendrik SeippMalte HelmertPublished in: J. Artif. Intell. Res. (2018)
Keyphrases
- classical planning
- planning problems
- domain independent
- heuristic search
- model checking
- state space
- larger problems
- planning domains
- probabilistic planning
- ai planning
- conformant planning
- decision theoretic planning
- initial state
- temporally extended goals
- temporal planning
- partially observable
- domain specific
- sensing actions
- planning graph
- linear temporal logic
- finite state
- markov decision processes
- objective function
- heuristic function
- sufficient conditions
- markov chain
- dynamic programming
- reinforcement learning
- deterministic domains
- genetic algorithm