TY  - RPRT
TI  - MAS-Lab: A Specification-Driven Validation Framework for Reliable Multi-Agent Systems
AU  - Jordan Augé
AU  - Giovanna Carofiglio
AU  - Giulio Grassi
AU  - Jacques Samain
PY  - 2026
UR  - https://arxiv.org/abs/2606.30546
ID  - 2606.30546
ER  -