QUANTITATIVE APPROXIMATION OF THE PROBABILITY DISTRIBUTION OF A MARKOV PROCESS BY FORMAL ABSTRACTIONS.

Saved in:
Bibliographic Details
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
Description
ISSN:18605974
DOI:10.2168/LMCS-11(3:8)2015