129 citations · 752 across the 80 of their papers we have counts for
1 paper · 2 filters
Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate
The goal of this work is to formally abstract a Markov process evolving in discrete time over a general state space as a finite-state Markov chain, with the objective of precisely…