Contingent Planning Under Uncertainty via Stochastic Satisfiability (1999)

by Stephen M. Majercik, Michael L. Littman
Venue:Artificial Intelligence