Antony Thomas, Fulvio Mastrogiovanni, Marco Baglietto: Towards Multi-Robot Task-Motion Planning for Navigation in Belief Space. STAIRS@ECAI 2020