QUANTITATIVE APPROXIMATION OF THE PROBABILITY DISTRIBUTION OF A MARKOV PROCESS BY FORMAL ABSTRACTIONS.
Saved in:
| Title: | QUANTITATIVE APPROXIMATION OF THE PROBABILITY DISTRIBUTION OF A MARKOV PROCESS BY FORMAL ABSTRACTIONS. |
|---|---|
| Authors: | SADEGH ESMAEIL ZADEH SOUDJANI1, Sadegh.Soudjani@cs.ox.ac.uk, ABATE, ALESSANDRO1, Alessandro.Abate@cs.ox.ac.uk |
| Source: | Logical Methods in Computer Science (LMCS); 2015, Vol. 11 Issue 3, p1-29, 29p |
| Database: | Applied Science & Technology Source |
| ISSN: | 18605974 |
|---|---|
| DOI: | 10.2168/LMCS-11(3:8)2015 |