A tool for the automation of efficient multi-robot choreography planning and execution. - Eric Wete; Joel Greenyer; Daniel Kudenko; Wolfgang Nejdl; Oliver Flegel; Dennes Eisner (MoDELS (Companion), 2022)