Quantitative approximation of the probability distribution of a Markov process by formal abstractions
Esmaeil Zadeh Soudjani, S
Abate, A
Logical Methods in Computer Science
volume 11
issue 3
1-29
(04 Sep 2015)
