Simple strategies for Banach-Mazur games and fairly correct systems

December 10, 2017 in by

by Thomas Brihaye, Quentin Menet
Reference:
Thomas Brihaye, Quentin Menet. Simple strategies for Banach-Mazur games and fairly correct systems. In Proceedings of the 4th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF’13), pages 21-34. Volume 119 of Electronic Proceedings in Theoretical Computer Science. August 2013.
Bibtex Entry:
@string{aug="August"}
@inproceedings{BM-gandalf13,
  address =       {Borca di Cadore, Italy},
  author =        {Brihaye, Thomas and Menet, Quentin},
  booktitle =     {{P}roceedings of the 4th {I}nternational {S}ymposium
                   on {G}ames, {A}utomata, {L}ogics, and {F}ormal
                   {V}erification ({GandALF}'13)},
  editor =        {Puppis, Gabriele and Villa, Tiziano},
  month =         aug,
  pages =         {21-34},
  series =        {Electronic Proceedings in Theoretical Computer
                   Science},
  title =         {Simple strategies for {B}anach-{M}azur games and
                   fairly correct systems},
  volume =        {119},
  year =          {2013},
  doi =           {10.4204/EPTCS.119.5},
  url =           {http://www.cassting-project.eu/wp-content/uploads/
                  BM-gandalf13.pdf},
  category =      {conf},
  wps =           {wp1},
  partners =      {UMONS},
  casstingpart =  {25},
}