Contingent planning under uncertainty via stochastic satisfiability.

Stephen M. Majercik Michael L. Littman

Published in: Artif. Intell. (2003)

Keyphrases

planning under uncertainty
markov decision processes
ai planning
decision theoretic
robotic tasks
dynamical systems
probabilistic planning
multi agent
belief space
computational complexity
satisfiability problem
machine learning
np complete
decision theoretic planning
reinforcement learning