Sprauel, Jonathan

1 publications

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