An Application of Model Checking Games to Abstract Argumentation.
Davide GrossiPublished in: LORI (2011)
Keyphrases
- model checking
- abstract argumentation
- temporal logic
- finite state
- formal specification
- temporal properties
- model checker
- automated verification
- formal verification
- theorem proving
- symbolic model checking
- game playing
- game theory
- concurrent systems
- computer games
- argumentation frameworks
- verification method
- preference relations
- epistemic logic
- transition systems
- timed automata
- decision making
- imperfect information
- video games
- bounded model checking
- artificial intelligence
- planning domains
- game play
- nash equilibrium
- bayesian networks
- alternating time temporal logic