PPDDL1.0: An Extension to PDDL for Expressing Planning Domains with Probabilistic Effects
Decision-Theoretic Planning: Structural Assumptions and Computational Leverage