Rational verification in Iterated Electric Boolean Games.

Youssouf Oualhadj Nicolas Troquard

Published in: SR (2016)

Keyphrases

boolean games
game theory
propositional variables
game theoretic
model checking
special case
decision making