Patricia Bouyer, Patrick Gardy, Nicolas Markey. Weighted Strategy Logic with Boolean Goals Over One-Counter Games. In Prahladh Harsha, G. Ramalingam, editors, 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015, December 16-18, 2015, Bangalore, India. Volume 45 of LIPIcs, pages 69-83, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2015. [doi]
@inproceedings{BouyerGM15, title = {Weighted Strategy Logic with Boolean Goals Over One-Counter Games}, author = {Patricia Bouyer and Patrick Gardy and Nicolas Markey}, year = {2015}, doi = {10.4230/LIPIcs.FSTTCS.2015.69}, url = {http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2015.69}, researchr = {https://researchr.org/publication/BouyerGM15}, cites = {0}, citedby = {0}, pages = {69-83}, booktitle = {35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015, December 16-18, 2015, Bangalore, India}, editor = {Prahladh Harsha and G. Ramalingam}, volume = {45}, series = {LIPIcs}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik}, isbn = {978-3-939897-97-2}, }