SMC: synthesis of uniform strategies and verification of strategic ability for multi-agent systems

Sorry, there's nothing here.

Cite this paper

@article{Pilecki2017SMCSO, 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}, journal={J. Log. Comput.}, year={2017}, volume={27}, pages={1871-1895} }