Sergio García 0002, Patrizio Pelliccione, Claudio Menghi, Thorsten Berger, Tomás Bures. High-level mission specification for multiple robots. In Oscar Nierstrasz, Jeff Gray, Bruno C. D. S. Oliveira, editors, Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2019, Athens, Greece, October 20-22, 2019. pages 127-140, ACM, 2019. [doi]
Abstract is missing.