Average-energy games

December 16, 2017 in by

by Patricia Bouyer, Nicolas Markey, Mickael Randour, Kim G. Larsen, Simon Laursen
Reference:
Patricia Bouyer, Nicolas Markey, Mickael Randour, Kim G. Larsen, Simon Laursen. Average-energy games. In Proceedings of the 6th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF’15), pages 1-15. Volume 193 of Electronic Proceedings in Theoretical Computer Science. September 2015.
Bibtex Entry:
@string{sep="September"}
@inproceedings{BMRLL-gandalf15,
  address =       {Genova, Italy},
  author =        {Bouyer, Patricia and Markey, Nicolas and
                   Randour, Mickael and Larsen, Kim G. and
                   Laursen, Simon},
  booktitle =     {{P}roceedings of the 6th {I}nternational {S}ymposium
                   on {G}ames, {A}utomata, {L}ogics, and {F}ormal
                   {V}erification ({GandALF}'15)},
  editor =        {Esparza, Javier and Tronci, Enrico},
  month =         sep,
  pages =         {1-15},
  series =        {Electronic Proceedings in Theoretical Computer
                   Science},
  title =         {Average-energy games},
  volume =        {193},
  year =          {2015},
  doi =           {10.4204/EPTCS.193.1},
  url =           {http://www.cassting-project.eu/wp-content/uploads/
                  BMRLL-gandalf15.pdf},
  category =      {conf},
  wps =           {wp1 and wp2},
  partners =      {CNRS and AAU},
  casstingpart =  {100},
}