On module checking and strategies. Jamroga, W. & Murano, A. In Bazzan, A. L. C., Huhns, M. N., Lomuscio, A., & Scerri, P., editors, International conference on Autonomous Agents and Multi-Agent Systems, AAMAS '14, Paris, France, May 5-9, 2014, pages 701–708, 2014. IFAAMAS/ACM.
On module checking and strategies [link]Paper  bibtex   
@inproceedings{DBLP:conf/atal/JamrogaM14,
  author       = {Wojciech Jamroga and
                  Aniello Murano},
  editor       = {Ana L. C. Bazzan and
                  Michael N. Huhns and
                  Alessio Lomuscio and
                  Paul Scerri},
  title        = {On module checking and strategies},
  booktitle    = {International conference on Autonomous Agents and Multi-Agent Systems,
                  {AAMAS} '14, Paris, France, May 5-9, 2014},
  pages        = {701--708},
  publisher    = {{IFAAMAS/ACM}},
  year         = {2014},
  url          = {http://dl.acm.org/citation.cfm?id=2615845},
  timestamp    = {Thu, 25 Sep 2014 07:46:15 +0200},
  biburl       = {https://dblp.org/rec/conf/atal/JamrogaM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0