All pages tagged with linear temporal logic

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