TY - RPRT TI - Rational Verification in Iterated Electric Boolean Games AU - Youssouf Oualhadj AU - Nicolas Troquard PY - 2016 DO - 10.4204/eptcs.218.4 UR - https://arxiv.org/abs/1604.03773 ID - 1604.03773 ER -