Joost-Pieter Katoen

Uma nova forma de checar se os programas que usam aleatoriedade estão certos.

Este trabalho discute estratégias naturais e lógicas probabilísticas para sistemas multiagente.

Aprenda como a bisimulação pode facilitar a verificação de sistemas complexos.

Explorando como combinar metas certas e metas de limite na tomada de decisão.