Verifiable Control of Robotic Swarm from High-level Specifications. Chen, J., Moarref, S., & Kress-Gazit, H. In André, E., Koenig, S., Dastani, M., & Sukthankar, G., editors, Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2018, Stockholm, Sweden, July 10-15, 2018, pages 568–576, 2018. International Foundation for Autonomous Agents and Multiagent Systems Richland, SC, USA / ACM.
Verifiable Control of Robotic Swarm from High-level Specifications [link]Paper  bibtex   
@inproceedings{DBLP:conf/atal/ChenMK18,
  author    = {Ji Chen and
               Salar Moarref and
               Hadas Kress{-}Gazit},
  editor    = {Elisabeth Andr{\'{e}} and
               Sven Koenig and
               Mehdi Dastani and
               Gita Sukthankar},
  title     = {Verifiable Control of Robotic Swarm from High-level Specifications},
  booktitle = {Proceedings of the 17th International Conference on Autonomous Agents
               and MultiAgent Systems, {AAMAS} 2018, Stockholm, Sweden, July 10-15,
               2018},
  pages     = {568--576},
  publisher = {International Foundation for Autonomous Agents and Multiagent Systems
               Richland, SC, {USA} / {ACM}},
  year      = {2018},
  url       = {http://dl.acm.org/citation.cfm?id=3237467},
  timestamp = {Mon, 16 Jul 2018 09:20:52 +0200},
  biburl    = {https://dblp.org/rec/conf/atal/ChenMK18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0