Our partner D. Dimarogonas gave a talk about Multi-robot task planning and control under temporal logic specifications at the Dipartimento di Ingegneria informatica, automatica e gestionale. La Sapienza, Rome. December 2022