Your Name 1 PPDDL1.0: An extension to PDDL for expressing planning domains with probabilistic effects 1 Heuristic Guidance for Forward-Chaining Planning with Numeric Uncertainty 1 Interval-Based Relaxation for General Numeric Planning 1 Provably-correct stochastic motion planning with safety constraints 1 From FOND to Robust Probabilistic Planning : Computing Compact Policies that Bypass Avoidable Deadends 1 Logical Filtering and Smoothing: State Estimation in Partially Observable Domains 1 Probabilistic Planning by Probabilistic Programming 1 A Temporal Logic for Planning under Uncertainty 1 Probabilistic Situation Calculus 1 PROPhESY: A PRObabilistic ParamEter SYnthesis Tool 1 Approximation in stochastic scheduling: the power of LP-based priority policies