@inproceedings{Jamroga09easyyethard-lncs, author = {W. Jamroga}, title = {Easy Yet Hard: Model Checking Strategies of Agents}, booktitle = {Computational Logic in Multi-Agent Systems: Proceedings of {CLIMA IX}}, series = {LNCS}, volume = {5405}, year = {2009}, pages = {1--12} }