Sergio García 0002, Claudio Menghi, Patrizio Pelliccione. MAPmAKER: performing multi-robot LTL planning under uncertainty. In Proceedings of the 2nd International Workshop on Robotics Software Engineering, RoSE@ICSE 2019, Montreal, QC, Canada, May 27, 2019. pages 1-4, IEEE / ACM, 2019. [doi]
Abstract is missing.