Qualitative analysis of POMDPs with temporal logic specifications for robotics applications.
Krishnendu ChatterjeeMartin ChmelikRaghav GuptaAyush KanodiaPublished in: ICRA (2015)
Keyphrases
- qualitative analysis
- temporal logic
- concurrent systems
- transition systems
- model checking
- reactive systems
- model checker
- bounded model checking
- quantitative analysis
- formal specification language
- content analysis
- finite state
- formal specification
- modal logic
- reinforcement learning
- belief state
- partially observable markov decision processes
- satisfiability problem
- belief revision
- verification method
- fault tree
- markov decision processes
- partially observable
- linear temporal logic
- mazurkiewicz traces
- artificial intelligence
- temporal knowledge
- state space
- continuous state
- computation tree logic
- formal verification
- specification language
- temporally extended
- temporally extended goals
- belief space
- optimal policy
- dynamic constraints
- dynamic programming
- search algorithm