Ce thème regroupe des notions très vastes.
- Le model checking statistique
- La falsification de systèmes cyber physiques
- L'analyse de réseaux biochimique
- Le calcul de bande passante dans des automates temporisés
- Les interactions entre méthodes formelles et apprentissage automatique
L'encadrement stochastique pour l’analyse numérique des systèmes à événements discrets