Thomas Lavaur, Déborah Conforto Nedelmann, Corentin Chauffaut, Jérôme Lacan, Caroline P. C. Chanel: Verifiable Multi-Agent Multi-Task Assignment. SecDev 2024: 1-12