PROMISE: high-level mission specification for multiple robots.

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

Browse the full ICSE paper archive.