@conference{MoVaBeRa-ICCRT-2019, author = {Mosca, Alessio and Vasile, Cristian Ioan and Belta, Calin and Raimondo, Davide M.}, title = {{Multi-robot routing and scheduling with temporal logic and synchronization constraints}}, booktitle = {IEEE International Conference on Control and Robot Technology (ICCRT)}, pages = {40--45}, month = {December}, address = {Jeju Island, South Korea}, year = {2019}, note = {\href{https://doi.org/10.1145/3387304.3387322}{doi:10.1145/3387304.3387322}} }