by Marcus Gelderie
Reference:
Strategy machines : representation and complexity of strategies in infinite games (Marcus Gelderie), PhD thesis, , 2014. (Aachen, Techn. Hochsch., Diss., 2014)
Bibtex Entry:
@PHDTHESIS{Gelderie:229827, author = {Gelderie, Marcus}, othercontributors = {Thomas, Wolfgang}, title = {{S}trategy machines : representation and complexity of strategies in infinite games}, address = {Aachen}, pages = {II, 195 S. : graph. Darst.}, year = {2014}, note = {Aachen, Techn. Hochsch., Diss., 2014}, keywords = {Model Checking (SWD) / Logiksynthese (SWD) / Automatentheorie (SWD) / Mathematische Logik (SWD) / Unendliches Spiel (SWD)}, cin = {120000 / 122110}, ddc = {Informatik}, cid = {$I:(DE-82)120000_20140620$ / $I:(DE-82)122110_20140620$}, shelfmark = {F.4.1}, typ = {PUB:(DE-HGF)11}, urn = {urn:nbn:de:hbz:82-opus-50253}, url = {http://publications.rwth-aachen.de/record/229827}, }