Stephen M. Majercik. APPSSAT: Approximate Probabilistic Planning Using Stochastic Satisfiability. In Lluis Godo, editor, Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005, Proceedings. Volume 3571 of Lecture Notes in Computer Science, pages 209-220, Springer, 2005. [doi]
Abstract is missing.