Model Checking for Reasoning about Incomplete Information Games.
Xiaowei HuangJi RuanMichael ThielscherPublished in: Australasian Conference on Artificial Intelligence (2013)
Keyphrases
- incomplete information
- model checking
- nash equilibria
- repeated games
- temporal logic
- temporal properties
- autonomous agents
- stochastic games
- model checker
- formal verification
- partial information
- automated verification
- finite state
- possibility theory
- formal specification
- symbolic model checking
- query answering
- video games
- epistemic logic
- computation tree logic
- first order logic
- game theoretic
- verification method
- bounded model checking
- game theory
- uncertain information
- modal logic
- formal methods
- planning domains
- nash equilibrium
- machine learning