Opportunistic Qualitative Planning in Stochastic Systems with Preferences over Temporal Logic Objectives.
Abhishek Ninad KulkarniJie FuPublished in: CoRR (2022)
Keyphrases
- temporal logic
- stochastic systems
- temporally extended
- temporally extended goals
- qualitative simulation
- model checking
- predictive state representations
- qualitative reasoning
- qualitative preferences
- satisfiability problem
- modal logic
- stochastic models
- confidence intervals
- symbolic model checking
- qualitative differential equations
- belief revision
- sample path
- verification method
- planning domains
- heuristic search
- computation tree logic
- classical planning
- decision theoretic planning
- finite state
- linear temporal logic
- planning problems
- search algorithm