MAPmAKER: performing multi-robot LTL planning under uncertainty.

Sergio Garca, Claudio Menghi, Patrizio Pelliccione

Browse the full ICSE paper archive.