← Search

Sylvie Thiebaux

2 accepted papers

2021

Progression Heuristics for Planning with Probabilistic LTL Constraints

AAAI 2021technical

Probabilistic planning subject to multi-objective probabilistic temporal logic (PLTL) constraints models the problem of computing safe and robust behaviours for agents in stochastic environments. We present novel admissible heuristics to guide the search for cost-optimal policies for these problems…

Cited by 4SourcePDFScholar