@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    = {Sat, 30 Sep 2023 09:34:53 +0200},
  biburl       = {https://dblp.org/rec/conf/atal/ChenMK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"B69dZ8kHKmeXw3w8j","bibbaseid":"chen-moarref-kressgazit-verifiablecontrolofroboticswarmfromhighlevelspecifications-2018","author_short":["Chen, J.","Moarref, S.","Kress-Gazit, H."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Ji"],"propositions":[],"lastnames":["Chen"],"suffixes":[]},{"firstnames":["Salar"],"propositions":[],"lastnames":["Moarref"],"suffixes":[]},{"firstnames":["Hadas"],"propositions":[],"lastnames":["Kress-Gazit"],"suffixes":[]}],"editor":[{"firstnames":["Elisabeth"],"propositions":[],"lastnames":["André"],"suffixes":[]},{"firstnames":["Sven"],"propositions":[],"lastnames":["Koenig"],"suffixes":[]},{"firstnames":["Mehdi"],"propositions":[],"lastnames":["Dastani"],"suffixes":[]},{"firstnames":["Gita"],"propositions":[],"lastnames":["Sukthankar"],"suffixes":[]}],"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":"Sat, 30 Sep 2023 09:34:53 +0200","biburl":"https://dblp.org/rec/conf/atal/ChenMK18.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/atal/ChenMK18,\n author = {Ji Chen and\n Salar Moarref and\n Hadas Kress{-}Gazit},\n editor = {Elisabeth Andr{\\'{e}} and\n Sven Koenig and\n Mehdi Dastani and\n Gita Sukthankar},\n title = {Verifiable Control of Robotic Swarm from High-level Specifications},\n booktitle = {Proceedings of the 17th International Conference on Autonomous Agents\n and MultiAgent Systems, {AAMAS} 2018, Stockholm, Sweden, July 10-15,\n 2018},\n pages = {568--576},\n publisher = {International Foundation for Autonomous Agents and Multiagent Systems\n Richland, SC, {USA} / {ACM}},\n year = {2018},\n url = {http://dl.acm.org/citation.cfm?id=3237467},\n timestamp = {Sat, 30 Sep 2023 09:34:53 +0200},\n biburl = {https://dblp.org/rec/conf/atal/ChenMK18.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Chen, J.","Moarref, S.","Kress-Gazit, H."],"editor_short":["André, E.","Koenig, S.","Dastani, M.","Sukthankar, G."],"key":"DBLP:conf/atal/ChenMK18","id":"DBLP:conf/atal/ChenMK18","bibbaseid":"chen-moarref-kressgazit-verifiablecontrolofroboticswarmfromhighlevelspecifications-2018","role":"author","urls":{"Paper":"http://dl.acm.org/citation.cfm?id=3237467"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/36/4385.bib","dataSources":["DtMtyfcGfRzFeLRYZ"],"keywords":[],"search_terms":["verifiable","control","robotic","swarm","high","level","specifications","chen","moarref","kress-gazit"],"title":"Verifiable Control of Robotic Swarm from High-level Specifications","year":2018}