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