Model Checking Abilities of Agents: A Closer Look. Jamroga, W. & Dix, J. Theory Comput. Syst., 42(3):366-410, 2008.
Model Checking Abilities of Agents: A Closer Look [link]Link  bibtex   
@article{ DBLP:journals/mst/JamrogaD08,
  author    = {Wojciech Jamroga and Jürgen Dix},
  title     = {Model Checking Abilities of Agents: A Closer Look},
  journal   = {Theory Comput. Syst.},
  pages   = {366-410},
  volume   = {42},
  number   = {3},
  ee   = {http://dx.doi.org/10.1007/s00224-007-9080-z} ,
  year   = {2008}
}

Downloads: 0