Stephen Michael Majercik;Michael L. Littman
-;-
Contingent planning under uncertainty via stochastic satisfiability
Artificial Intelligence - special issue on planning with uncertainty and incomplete information