Looking at Mean-Payoff and Total-Payoff through Windows

October 17, 2017 in by

by Krishnendu Chatterjee, Laurent Doyen, Mickael Randour, Jean-François Raskin
Reference:
Krishnendu Chatterjee, Laurent Doyen, Mickael Randour, Jean-François Raskin. Looking at Mean-Payoff and Total-Payoff through Windows. In Proceedings of the 11th International Symposium on Automated Technology for Verification and Analysis (ATVA’13), pages 118-132. Volume 8172 of Lecture Notes in Computer Science. Springer, October 2013.
Bibtex Entry:
@string{oct="October"}
@inproceedings{CDRR-atva13,
  address =       {Hanoi, Vietnam},
  author =        {Chatterjee, Krishnendu and Doyen, Laurent and
                   Randour, Mickael and Raskin, Jean-Fran{c{c}}ois},
  booktitle =     {{P}roceedings of the 11th {I}nternational {S}ymposium
                   on {A}utomated {T}echnology for {V}erification and
                   {A}nalysis ({ATVA}'13)},
  editor =        {Hung, Dang Van and Ogawa, Mizuhito},
  month =         oct,
  pages =         {118-132},
  publisher =     {Springer},
  series =        {Lecture Notes in Computer Science},
  title =         {Looking at Mean-Payoff and Total-Payoff through
                   Windows},
  volume =        {8172},
  year =          {2013},
  doi =           {10.1007/978-3-319-02444-8_10},
  url =           {http://www.cassting-project.eu/wp-content/uploads/
                  CDRR-atva13.pdf},
  category =      {conf},
  wps =           {wp1},
  partners =      {CNRS and UMONS and ULB},
  casstingpart =  {10},
}