PPDDL1.0: An Extension to PDDL for Expressing Planning Domains with Probabilistic Effects
Efficient Solution Algorithms for Factored MDPs