J. Sprauel, A. Kolobov, and F. Teichteil-Königsbuch, “Saturated Path-Constrained MDP: Planning under Uncertainty and Deterministic Model-Checking Constraints”, AAAI, vol. 28, no. 1, Jun. 2014.