Contingent planning under uncertainty via stochastic satisfiability (1999)

by Stephen Majercik, Michael Littman
Venue:In Proceedings of AAAI-99