Ricardo Arend Machado, Arthur da Silva Zelindro Cardoso, Giovani Parente Farias, Eder Mateus Nunes Gonçalves, Diana Francisca Adamatti. A formal testing method for multi-agent systems using colored Petri nets. Autonomous Agents and Multi-Agent Systems, 39(1):10, June 2025. [doi]
Abstract is missing.