Infinite States Verification in Game-Theoretic Logics: Case Studies and Implementation.

Slawomir Kmiec Yves Lespérance

Published in: EMAS@AAMAS (2014)

Keyphrases

game theoretic
case study
game theory
nash equilibrium
decision problems
imperfect information
nash equilibria
minority game
modal logic
boolean games
upper bound
model checking
default logic
decision makers
lower bound
data mining
real world