Algorithmic analysis of Regular repeated games

dc.contributor.advisorChaudhuri, Swarat
dc.creatorBansal, Suguman
dc.date.accessioned2017-07-31T18:56:26Z
dc.date.available2017-07-31T18:56:26Z
dc.date.created2016-12
dc.date.issued2016-09-15
dc.date.submittedDecember 2016
dc.date.updated2017-07-31T18:56:26Z
dc.description.abstractThe problem on computing rational behaviors in multi-agent systems with selfish agents (Games) has become paramount for the analysis of such systems. {\em Nash equilibria} is one of the most central notions of rational behavior. While the problem of computing Nash equilibria in simple games is well understood, the same cannot be said for more complex games. {\em Repeated games} are one such class of games. In this thesis, we introduce {\em regular repeated games} as a model for repeated games with bounded rationality. In regular repeated games, agent strategies are given by weighted (discounted-sum aggregate), non-deterministic B\"uchi transducers. We design an algorithm {\ComputeNash} to compute all Nash equilibria in a regular repeated game. The crux of the algorithm lies in determining if a strategy profile is in Nash equilibria or not. For this it is necessary to compare the discounted sum on one infinite execution with that one other executions. Such relational reasoning has not been studies in the literature before. To this end, we introduce the concept of an {\em $\omega$-regular comparators}. We demonstrate promise of our approach via experimental analysis on case studies: Iterated Prisoner's Dilemma, repeated auctions, and a model of the Bitcoin protocol.
dc.format.mimetypeapplication/pdf
dc.identifier.citationBansal, Suguman. "Algorithmic analysis of Regular repeated games." (2016) Master’s Thesis, Rice University. <a href="https://hdl.handle.net/1911/95650">https://hdl.handle.net/1911/95650</a>.
dc.identifier.urihttps://hdl.handle.net/1911/95650
dc.language.isoeng
dc.rightsCopyright is held by the author, unless otherwise indicated. Permission to reuse, publish, or reproduce the work beyond the bounds of fair use or other exemptions to copyright law must be obtained from the copyright holder.
dc.subjectRepeated games
dc.subjectBounded rationality
dc.subjectNash equilibira
dc.subjectNash equilibria computation
dc.subjectRegular repeated games
dc.subjectAutomata
dc.subjectComparators
dc.titleAlgorithmic analysis of Regular repeated games
dc.typeThesis
dc.type.materialText
thesis.degree.departmentComputer Science
thesis.degree.disciplineEngineering
thesis.degree.grantorRice University
thesis.degree.levelMasters
thesis.degree.nameMaster of Science
Files
Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
BANSAL-DOCUMENT-2016.pdf
Size:
563.06 KB
Format:
Adobe Portable Document Format
License bundle
Now showing 1 - 2 of 2
No Thumbnail Available
Name:
PROQUEST_LICENSE.txt
Size:
5.84 KB
Format:
Plain Text
Description:
No Thumbnail Available
Name:
LICENSE.txt
Size:
2.61 KB
Format:
Plain Text
Description: