Strategy machines : representation and complexity of strategies in infinite games

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},
}

Bookmark the permalink.