Path-Constrained Markov Decision Processes: bridging the gap between probabilistic model-checking and decision-theoretic planning.

Florent Teichteil-Knigsbuch

Browse the full ECAI paper archive.