@misc{indiciaeaee6f0d9f0a3,
  title = {MAS-Lab: A Specification-Driven Validation Framework for Reliable Multi-Agent Systems},
  author = {Jordan Augé and Giovanna Carofiglio and Giulio Grassi and Jacques Samain},
  year = {2026},
  url = {https://arxiv.org/abs/2606.30546},
  note = {Source identifier: 2606.30546}
}