Progression Heuristics for Planning with Probabilistic LTL Constraints.

Ian Mallett, Sylvie Thibaux, Felipe W. Trevizan

Browse the full AAAI paper archive.