Joost-Pieter Katoen

Un enfoque nuevo para comprobar la corrección de programas que usan aleatoriedad.

Este trabajo habla sobre estrategias naturales y lógicas probabilísticas para sistemas multiagente.

Aprende cómo la bisimulación puede facilitar la verificación de sistemas complejos.

Explorando cómo combinar metas seguras y de umbral en la toma de decisiones.