Heuristic Search Planning With Multi-Objective Probabilistic LTL Constraints.

Peter Baumgartner, Sylvie Thibaux, Felipe W. Trevizan

Browse the full KR paper archive.