Nicolas Mazzocchi

Analiza conceptos de seguridad y vivacidad en autómatas cuantitativos para la verificación de sistemas.

Un vistazo a la dominación estratégica y su impacto en los modelos computacionales.

Descubre el papel de QuAK en la evaluación del rendimiento y la seguridad del sistema.

Explora el fascinante mundo de los juegos moldeados por el tiempo y la estrategia.