Iterated Boolean Games for Rational Verification.

Tong Gao Julian Gutierrez Michael J. Wooldridge

Published in: AAMAS (2017)

Keyphrases

boolean games
game theory
propositional variables
model checking
game theoretic
decision making
lower bound