Browsing Mathematics (Faculty of) by Author "Salmon, Ricardo"
Now showing items 1-1 of 1
-
On the relationship between satisfiability and partially observable Markov decision processes
Salmon, Ricardo (University of Waterloo, 2018-09-26)Stochastic satisfiability (SSAT), Quantified Boolean Satisfiability (QBF) and decision-theoretic planning in finite horizon partially observable Markov decision processes (POMDPs) are all PSPACE-Complete problems. Since ...