Nicolas Mazzocchi

Examina conceitos de segurança e vivacidade em autômatos quantitativos para verificação de sistemas.

Uma olhada na dominância estratégica e seu impacto em modelos computacionais.

Descubra o papel do QuAK em avaliar o desempenho e a segurança do sistema.

Explore o mundo fascinante dos jogos moldados pelo tempo e estratégia.