Serge Haddad

Un nuevo enfoque para calcular las probabilidades de alcanzabilidad en sistemas complejos con estados infinitos.

Un marco para entender mejor las cadenas de Markov complejas usando técnicas de abstracción y muestreo.