2023
Probabilistic Planning with Prioritized Preferences over Temporal Logic Objectives
IJCAI 2023poster
This paper studies temporal planning in probabilistic environments, modeled as labeled Markov decision processes (MDPs), with user preferences over multiple temporal goals. Existing works reflect such preferences as a prioritized list of goals. This paper introduces a new specification language, te…