Horarios
09:00 AM-06:00 PM (expected)
Tarifas de Entrada
Check Official Website
Participación estimada
Delegates
Tipo de evento
Workshop
Descripción
¡Bienvenido al Taller sobre Verificación de Programas Probabilísticos (VeriProP)! Este evento se centra en áreas críticas, incluyendo la verificación de modelos con probabilidad, la verificación de programas que incorporan aleatoriedad y la garantía formal para sistemas de aprendizaje automático e IA. Lo invitamos a participar y presentar sobre temas tales como la verificación de modelos de Markov y la interpretación abstracta.
