Serge Haddad

Un nuovo approccio per calcolare le probabilità di raggiungibilità in sistemi complessi con stati infiniti.

Un framework per capire meglio le catene di Markov complesse usando tecniche di astrazione e campionamento.