Arthur da Silva Zelindro Cardoso

According to our database, Arthur da Silva Zelindro Cardoso authored at least 1 paper in 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

A formal testing method for multi-agent systems using colored Petri nets.

Ricardo Arend Machado, Arthur da Silva Zelindro Cardoso, Giovani Parente Farias, Eder Mateus Nunes Gonçalves, Diana Francisca Adamatti

Auton. Agents Multi Agent Syst., June, 2025