Tutti i documenti taggati con computation tree logic

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