APPSSAT: Approximate Probabilistic Planning Using Stochastic Satisfiability.

Stephen M. Majercik

Browse the full ECSQARU paper archive.