Saturated Path-Constrained MDP: Planning under Uncertainty and Deterministic Model-Checking Constraints.

Jonathan Sprauel, Andrey Kolobov, Florent Teichteil-Knigsbuch

Browse the full AAAI paper archive.