QUANTITATIVE APPROXIMATION OF THE PROBABILITY DISTRIBUTION OF A MARKOV PROCESS BY FORMAL ABSTRACTIONS. - SADEGH ESMAEIL ZADEH SOUDJANI; ABATE, ALESSANDRO (Logical Methods in Computer Science (LMCS), 2015)