Contingent Planning Under Uncertainty via Stochastic Satisfiability.
Stephen M. MajercikMichael L. LittmanPublished in: AAAI/IAAI (1999)
Keyphrases
- planning under uncertainty
- ai planning
- decision theoretic
- markov decision processes
- belief space
- robotic tasks
- probabilistic planning
- multi agent
- dynamical systems
- satisfiability problem
- decision theoretic planning
- heuristic search
- partially observable markov decision processes
- domain independent
- np complete
- linear programming
- search space
- computational complexity
- optimal solution
- decision making