Jerzy Pilecki, Marek A. Bednarczyk, Wojciech Jamroga. SMC: synthesis of uniform strategies and verification of strategic ability for multi-agent systems. Journal of Logic and Computation, 27(7):1871-1895, 2017. [doi]
@article{PileckiBJ17, title = {SMC: synthesis of uniform strategies and verification of strategic ability for multi-agent systems}, author = {Jerzy Pilecki and Marek A. Bednarczyk and Wojciech Jamroga}, year = {2017}, doi = {10.1093/logcom/exw032}, url = {https://doi.org/10.1093/logcom/exw032}, researchr = {https://researchr.org/publication/PileckiBJ17}, cites = {0}, citedby = {0}, journal = {Journal of Logic and Computation}, volume = {27}, number = {7}, pages = {1871-1895}, }