High-level mission specification for multiple robots.

Sergio Garca, Patrizio Pelliccione, Claudio Menghi, Thorsten Berger, Toms Bures

Browse the full SLE paper archive.