Probabilistic Planning with Prioritized Preferences over Temporal Logic Objectives.
Lening LiHazhar RahmaniJie FuPublished in: IJCAI (2023)
Keyphrases
- temporal logic
- probabilistic planning
- temporally extended
- possibilistic logic
- decision theoretic planning
- model checking
- belief revision
- multiple objectives
- heuristic search
- modal logic
- planning problems
- planning under uncertainty
- satisfiability problem
- classical planning
- infinite horizon
- possibility theory
- linear temporal logic
- verification method
- hill climbing
- computation tree logic
- partially observable
- state space
- knowledge base
- markov decision processes
- np complete
- multi agent systems