Improving the Model Checking of Strategies under Partial Observability and Fairness Constraints.
Simon BusardCharles PecheurHongyang QuFranco RaimondiPublished in: ICFEM (2014)
Keyphrases
- symbolic model checking
- model checking
- partial observability
- temporal logic
- model checker
- planning domains
- formal verification
- finite state
- partially observable
- formal specification
- belief space
- planning problems
- formal methods
- belief state
- reinforcement learning
- constraint satisfaction
- constraint programming
- partial information
- partially observable markov decision processes
- fully observable
- markov decision process
- learning tasks
- markov decision processes
- state space
- search algorithm
- multi agent