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)
Subscribe to