The paper entitled “Verification of Robust Multi-Agent Systems” by Raphael Berthon, Munyque Myttelmann, (CNRS, LIPN, Sorbonne Paris North University) Joost-Pieter Katoen and Nello Morano (University of Napels) has been accepted for presentation at the 25th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2026). This paper investigates robust verification strategies for stochastic multi‑agent systems with probabilistic ATL objectives under partial observability.