All pages tagged with MAS verification

• Modelli e metodi per la verifica dei sistemi multi-agente tramite model checking