@misc{indiciae8b690da621b3,
  title = {Verification of Robust Multi-Agent Systems},
  author = {Raphaël Berthon and Joost-Pieter Katoen and Munyque Mittelmann and Aniello Murano},
  year = {2026},
  url = {https://arxiv.org/abs/2602.13405},
  note = {Source identifier: 2602.13405}
}