Christel Baier

Explora cómo los Procesos de Decisión de Markov ayudan a manejar resultados inciertos con consideraciones de riesgo.

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

Aprende cómo los predictores mejoran la fiabilidad de los sistemas adaptativos modernos.