Contingent planning under uncertainty via stochastic satisfiability (1999)

by S M Majercik, M L Littman
Venue:In AAAI/IAAI