All pages tagged with computation tree logic

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