Multi-Robot Task Planning to Secure Human Group Progress. - Roland Godet; Charles Lesire; Arthur Bit-Monnot (AREA@ECAI, 2023)