Automatic Verification of Multi-Agent Systems in Parameterised Grid-Environments (bibtex)
by Benjamin Aminof, Aniello Murano, Sasha Rubin, Florian Zuleger
Reference:
Automatic Verification of Multi-Agent Systems in Parameterised Grid-EnvironmentsBenjamin Aminof, Aniello Murano, Sasha Rubin, Florian ZulegerProceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, Singapore, May 9-13, 2016, pages 1190-1199, 2016.
Bibtex Entry:
@inproceedings{conf/atal/AminofMRZ16,
  author    = {Benjamin Aminof and
               Aniello Murano and
               Sasha Rubin and
               Florian Zuleger},
  title     = {Automatic Verification of Multi-Agent Systems in Parameterised Grid-Environments},
  booktitle = {Proceedings of the 2016 International Conference on Autonomous Agents
               {\&} Multiagent Systems, Singapore, May 9-13, 2016},
  pages     = {1190--1199},
  year      = {2016},
  url       = {http://dl.acm.org/citation.cfm?id=2937098}
}
Powered by bibtexbrowser