Sprauel, J., A. Kolobov, and F. Teichteil-Königsbuch. “Saturated Path-Constrained MDP: Planning under Uncertainty and Deterministic Model-Checking Constraints”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 28, no. 1, June 2014, doi:10.1609/aaai.v28i1.9041.