Approximate planning and verification for large markov decision processes.

Richard Lassaigne Sylvain Peyronnet

Published in: SAC (2012)

Keyphrases

model checking
ai planning
decision support
heuristic search
domain independent
stochastic domains
blocks world
planning problems
genetic algorithm
data sets
domain specific
face verification
optimal solution
goal oriented
classical planning
formal verification
databases