Saturated Path-Constrained MDP: Planning under Uncertainty and Deterministic Model-Checking Constraints. - Jonathan Sprauel; Andrey Kolobov; Florent Teichteil-Königsbuch (AAAI, 2014)