Strategies for repeated games with subsystem takeovers implementable by deterministic and self-stabilising automata. (27th December 2010)

• Record Type: Journal Article
• Authors: Dolev, Shlomi; Schiller, Elad Michael; Spirakis, Paul G.; Tsigas, Philippas
• Is Part Of: International journal of autonomous and adaptive communications systems. Volume 4:Number 1(2011)
• Page Start: 4
• Page End: 38
• Publication Date: 2010-12-27
• Subjects: game theory -- Folk-theorem -- joint deviations -- finite-automata -- self-stabilisation -- repeated games -- subsystem takeover -- autonomous systems -- adaptive communications; Adaptive computing systems -- Periodicals; Wireless communication systems -- Periodicals; Computer networks -- Periodicals; 004.6
• Languages: English
• ISSNs: 1754-8632

Abstract

Systems of selfish-computers are subject to transient faults due to temporal malfunctions; just as the society is subjected to human mistakes. Game theory uses punishment for deterring improper behaviour. Due to faults, selfish-computers may punish well-behaved ones. This is one of the key motivations for forgiveness that follows any effective and credible punishment. Therefore, unplanned punishments must provably cease in order to avoid infinite cycles of unsynchronised behaviour of 'tit for tat'. We investigate another aspect of these systems. We consider the possibility of subsystem takeover. The takeover may lead to joint deviations coordinated by an arbitrary selfish-computer that controls an unknown group of subordinate computers. We present strategies that deter the coordinator from deviating in infinitely repeated games. We construct deterministic automata that implement these strategies with optimal complexity. Moreover, we prove that all unplanned punishments eventually cease by showing that the automata can recover from transient faults.