High-level mission specification for multiple robots

Sergio Garcı́a, Patrizio Pelliccione, Claudio Menghi, Thorsten Berger, Tomas Bures
January 2019
Type
Conference paper
Publication
Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering