Probabilistic Planning with Prioritized Preferences over Temporal Logic Objectives.
Lening LiHazhar RahmaniJie FuPublished in: CoRR (2023)
Keyphrases
- temporal logic
- probabilistic planning
- temporally extended
- decision theoretic planning
- possibilistic logic
- model checking
- belief revision
- multiple objectives
- modal logic
- heuristic search
- planning problems
- satisfiability problem
- planning under uncertainty
- verification method
- markov decision processes
- computation tree logic
- partially observable
- possibility theory
- classical planning
- markov decision process
- learning algorithm
- linear temporal logic
- qualitative preferences
- infinite horizon
- markov chain
- search space