Playing Games in the Baire Space

December 11, 2017 in by

by Benedikt Brütsch, Wolfgang Thomas
Reference:
Benedikt Brütsch, Wolfgang Thomas. Playing Games in the Baire Space. In Joint Proceedings of the Cassting Workshop on Games for the Synthesis of Complex Systems and of the 3rd International Workshop on Synthesis of Complex Parameters (Cassting’16/SynCoP’16). Electronic Proceedings in Theoretical Computer Science. 2016. (To appear)
Bibtex Entry:
@inproceedings{BT-cassting16,
  address =       {Eindhoven, The~Netherlands},
  author =        {Br{"u}tsch, Benedikt and Thomas, Wolfgang},
  booktitle =     {Joint Proceedings of the Cassting Workshop on Games
                   for the Synthesis of Complex Systems and of the 3rd
                   International Workshop on Synthesis of Complex
                   Parameters (Cassting'16{slash}SynCoP'16)},
  note =          {To~appear},
  series =        {Electronic Proceedings in Theoretical Computer
                   Science},
  title =         {Playing Games in the {B}aire Space},
  year =          {2016},
  url =           {http://www.cassting-project.eu/wp-content/uploads/
                  BT-cassting16.pdf},
  category =      {othc},
  wps =           {wp1},
  partners =      {RWTH},
  casstingpart =  {100},
}