Contingent planning under uncertainty via stochastic satisfiability

Stephen M. Majercik, Michael L. Littman. Contingent planning under uncertainty via stochastic satisfiability. Artificial Intelligence, 147(1-2):119-162, 2003. [doi]

Abstract

Abstract is missing.