Weighted strategy logic with Boolean goals over one-counter games

December 11, 2017 in by

by Patricia Bouyer, Patrick Gardy, Nicolas Markey
Reference:
Patricia Bouyer, Patrick Gardy, Nicolas Markey. Weighted strategy logic with Boolean goals over one-counter games. In Proceedings of the 35th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS’15), pages 69-83. Volume 45 of Leibniz International Proceedings in Informatics. Leibniz-Zentrum für Informatik, December 2015.
Bibtex Entry:
@string{dec="December"}
@inproceedings{BGM-fsttcs15,
  address =       {Bangalore, India},
  author =        {Bouyer, Patricia and Gardy, Patrick and
                   Markey, Nicolas},
  booktitle =     {{P}roceedings of the 35th {C}onference on
                   {F}oundations of {S}oftware {T}echnology and
                   {T}heoretical {C}omputer {S}cience ({FSTTCS}'15)},
  editor =        {Harsha, Prahladh and Ramalingam, G.},
  month =         dec,
  pages =         {69-83},
  publisher =     {Leibniz-Zentrum f{"u}r Informatik},
  series =        {Leibniz International Proceedings in Informatics},
  title =         {Weighted strategy logic with Boolean goals over
                   one-counter games},
  volume =        {45},
  year =          {2015},
  doi =           {10.4230/LIPIcs.FSTTCS.2015.69},
  url =           {http://www.cassting-project.eu/wp-content/uploads/
                  BGM-fsttcs15.pdf},
  category =      {conf},
  wps =           {wp1},
  partners =      {CNRS},
  casstingpart =  {100},
}