Game-Theoretic Semantics for ATL+ with Applications to Model Checking.
Valentin GorankoAntti KuusistoRaine RönnholmPublished in: AAMAS (2017)
Keyphrases
- game theoretic
- alternating time temporal logic
- imperfect information
- model checking
- game theory
- decision problems
- epistemic logic
- nash equilibrium
- process algebra
- temporal logic
- formal methods
- automated verification
- combinatorial auctions
- trust model
- model checker
- formal specification
- upper bound
- formal semantics
- formal verification
- computational complexity
- temporal properties
- boolean games
- multi agent systems