Guy Avni. Quantitative Formal Methods Meets Algorithmic Game Theory (שער נוסף בעברית: שיטות פורמליות כמותיות פוגשות את תורת המשחקים החישובית.). PhD thesis, Hebrew University of Jerusalem, Israel, 2016. [doi]
@phdthesis{il-550,
title = {Quantitative Formal Methods Meets Algorithmic Game Theory (שער נוסף בעברית: שיטות פורמליות כמותיות פוגשות את תורת המשחקים החישובית.)},
author = {Guy Avni},
year = {2016},
url = {https://huji-primo.hosted.exlibrisgroup.com/permalink/f/13ns5ae/972HUJI_ALMA21165336080003701},
researchr = {https://researchr.org/publication/il-550},
cites = {0},
citedby = {0},
school = {Hebrew University of Jerusalem, Israel},
}