@inproceedings{DBLP:conf/case/ChenSK21,
  author       = {Ji Chen and
                  Ruojia Sun and
                  Hadas Kress{-}Gazit},
  title        = {Distributed Control of Robotic Swarms from Reactive High-Level Specifications},
  booktitle    = {17th {IEEE} International Conference on Automation Science and Engineering,
                  {CASE} 2021, Lyon, France, August 23-27, 2021},
  pages        = {1247--1254},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/CASE49439.2021.9551578},
  doi          = {10.1109/CASE49439.2021.9551578},
  timestamp    = {Fri, 08 Oct 2021 19:47:37 +0200},
  biburl       = {https://dblp.org/rec/conf/case/ChenSK21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"idurpuEmFBSr2AkFL","bibbaseid":"chen-sun-kressgazit-distributedcontrolofroboticswarmsfromreactivehighlevelspecifications-2021","author_short":["Chen, J.","Sun, R.","Kress-Gazit, H."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Ji"],"propositions":[],"lastnames":["Chen"],"suffixes":[]},{"firstnames":["Ruojia"],"propositions":[],"lastnames":["Sun"],"suffixes":[]},{"firstnames":["Hadas"],"propositions":[],"lastnames":["Kress-Gazit"],"suffixes":[]}],"title":"Distributed Control of Robotic Swarms from Reactive High-Level Specifications","booktitle":"17th IEEE International Conference on Automation Science and Engineering, CASE 2021, Lyon, France, August 23-27, 2021","pages":"1247–1254","publisher":"IEEE","year":"2021","url":"https://doi.org/10.1109/CASE49439.2021.9551578","doi":"10.1109/CASE49439.2021.9551578","timestamp":"Fri, 08 Oct 2021 19:47:37 +0200","biburl":"https://dblp.org/rec/conf/case/ChenSK21.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/case/ChenSK21,\n author = {Ji Chen and\n Ruojia Sun and\n Hadas Kress{-}Gazit},\n title = {Distributed Control of Robotic Swarms from Reactive High-Level Specifications},\n booktitle = {17th {IEEE} International Conference on Automation Science and Engineering,\n {CASE} 2021, Lyon, France, August 23-27, 2021},\n pages = {1247--1254},\n publisher = {{IEEE}},\n year = {2021},\n url = {https://doi.org/10.1109/CASE49439.2021.9551578},\n doi = {10.1109/CASE49439.2021.9551578},\n timestamp = {Fri, 08 Oct 2021 19:47:37 +0200},\n biburl = {https://dblp.org/rec/conf/case/ChenSK21.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Chen, J.","Sun, R.","Kress-Gazit, H."],"key":"DBLP:conf/case/ChenSK21","id":"DBLP:conf/case/ChenSK21","bibbaseid":"chen-sun-kressgazit-distributedcontrolofroboticswarmsfromreactivehighlevelspecifications-2021","role":"author","urls":{"Paper":"https://doi.org/10.1109/CASE49439.2021.9551578"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/36/4385.bib","dataSources":["DtMtyfcGfRzFeLRYZ"],"keywords":[],"search_terms":["distributed","control","robotic","swarms","reactive","high","level","specifications","chen","sun","kress-gazit"],"title":"Distributed Control of Robotic Swarms from Reactive High-Level Specifications","year":2021}