MAPmAKER: performing multi-robot LTL planning under uncertainty

Sergio Garcı́a, Claudio Menghi, Patrizio Pelliccione
January 2019
Type
Conference paper
Publication
2019 IEEE/ACM 2nd International Workshop on Robotics Software Engineering (RoSE)