Game-Theoretic Semantics for ATL+ with Applications to Model Checking.
Valentin GorankoAntti KuusistoRaine RönnholmPublished in: CoRR (2017)
Keyphrases
- game theoretic
- alternating time temporal logic
- imperfect information
- model checking
- game theory
- decision problems
- epistemic logic
- nash equilibrium
- process algebra
- temporal logic
- temporal properties
- formal verification
- trust model
- formal specification
- computational complexity
- symbolic model checking
- learning algorithm
- combinatorial auctions
- game playing
- search algorithm
- cooperative