Serge Haddad

Une nouvelle approche pour calculer les probabilités de reachabilité dans des systèmes complexes avec des états infinis.

Un cadre pour mieux comprendre les chaînes de Markov complexes en utilisant des techniques d'abstraction et d'échantillonnage.