Salar Moarref, Hadas Kress-Gazit. Decentralized control of robotic swarms from high-level temporal logic specifications. In 2017 International Symposium on Multi-Robot and Multi-Agent Systems (MRS), Los Angeles, CA, USA, December 4-5, 2017. pages 17-23, IEEE, 2017. [doi]
@inproceedings{MoarrefK17,
title = {Decentralized control of robotic swarms from high-level temporal logic specifications},
author = {Salar Moarref and Hadas Kress-Gazit},
year = {2017},
doi = {10.1109/MRS.2017.8250926},
url = {https://doi.org/10.1109/MRS.2017.8250926},
researchr = {https://researchr.org/publication/MoarrefK17},
cites = {0},
citedby = {0},
pages = {17-23},
booktitle = {2017 International Symposium on Multi-Robot and Multi-Agent Systems (MRS), Los Angeles, CA, USA, December 4-5, 2017},
publisher = {IEEE},
isbn = {978-1-5090-6309-3},
}