Horaires
09:00 AM-06:00 PM (expected)
Frais d'entrée
Check Official Website
Participation estimée
Delegates
Type d'événement
Workshop
Description
Bienvenue à l'Atelier sur la Vérification des Programmes Probabilistes (VeriProP) ! Cet événement se concentre sur des domaines critiques tels que la vérification de modèles avec probabilités, la vérification de programmes incorporant de l'aléa, et l'assurance de garanties formelles pour les systèmes d'apprentissage automatique et d'IA. Nous vous invitons à participer et à présenter sur des sujets tels que la vérification de modèles de Markov et l'interprétation abstraite.
