Model Checking Strategic Abilities of Agents Under Incomplete Information. Jamroga, W. & Dix, J. In Theoretical Computer Science, 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings, pages 295-308, 2005.
Model Checking Strategic Abilities of Agents Under Incomplete Information [link]Link  bibtex   
@inproceedings{ DBLP:conf/ictcs/JamrogaD05,
  author    = {Wojciech Jamroga and Jürgen Dix},
  title     = {Model Checking Strategic Abilities of Agents Under Incomplete Information},
  booktitle   = {Theoretical Computer Science, 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings},
  pages   = {295-308},
  ee   = {http://dx.doi.org/10.1007/11560586_24} ,
  year   = {2005}
}

Downloads: 0