Limit Your Consumption! Finding Bounds in Average-energy Games

December 16, 2017 in by

by Kim G. Larsen, Simon Laursen, Martin Zimmermann
Reference:
Kim G. Larsen, Simon Laursen, Martin Zimmermann. Limit Your Consumption! Finding Bounds in Average-energy Games. In Proceedings of the 14th International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL’16). Electronic Proceedings in Theoretical Computer Science. 2016.
Bibtex Entry:
@inproceedings{LLZ-qapl16,
  author =        {Larsen, Kim G. and Laursen, Simon and
                   Zimmermann, Martin},
  booktitle =     {{P}roceedings of the 14th {I}nternational {W}orkshop
                   on {Q}uantitative {A}spects of {P}rogramming
                   {L}anguages and {S}ystems ({QAPL}'16)},
  editor =        {Tribastone, Mirco and Wiklicky, Herbert},
  series =        {Electronic Proceedings in Theoretical Computer
                   Science},
  title =         {Limit Your Consumption! Finding Bounds in
                   Average-energy Games},
  year =          {2016},
  url =           {http://www.cassting-project.eu/wp-content/uploads/
                  arxiv15-LLZ.pdf},
  category =      {othc},
  wps =           {wp2},
  partners =      {AAU},
  casstingpart =  {50},
}