Open Systems Laboratory at Illinois

Verifying the evolution of probability distributions governed by a dtmc

By YoungMin Kwon and Gul A. Agha. IEEE Trans. Software Eng, 37(1):126–141, 2011.

Full Text:
Download PDF
Publisher Link:
http://doi.ieeecomputersociety.org/10.1109/TSE.2010.80

BibTeX

@article{journals/tse/KwonA11,
    author = "Kwon, YoungMin and Agha, Gul A.",
    title = "Verifying the Evolution of Probability Distributions
             Governed by a DTMC",
    ee = "http://doi.ieeecomputersociety.org/10.1109/TSE.2010.80",
    journal = "IEEE Trans. Software Eng",
    keywords = "formal methods",
    number = "1",
    pages = "126-141",
    volume = "37",
    year = "2011",
}