# Verifying the Evolution of Probability Distributions Governed by a DTMC

YoungMin Kwon, Gul Agha

IEEE Transactions on Software Engineering 37(1), pages 126-141, January 2011

IEEE Press, Piscataway, NJ, USA

@article{KwonTSE2011,

author = {Kwon, YoungMin and Agha, Gul},

title = {Verifying the Evolution of Probability Distributions Governed by a DTMC},

journal = {IEEE Transactions on Software Engineering},

volume = 37,

number = 1,

month = jan,

year = 2011,

issn = {0098-5589},

pages = {126--141},

doi = {10.1109/TSE.2010.80},

url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=5557891},

acmid = {1936543},

publisher = {IEEE Press},

address = {Piscataway, NJ, USA},

keywords = {Probabilistic model checking, linear temporal logic, Discrete Time Markov Chain, pharmacokinetics}}

author = {Kwon, YoungMin and Agha, Gul},

title = {Verifying the Evolution of Probability Distributions Governed by a DTMC},

journal = {IEEE Transactions on Software Engineering},

volume = 37,

number = 1,

month = jan,

year = 2011,

issn = {0098-5589},

pages = {126--141},

doi = {10.1109/TSE.2010.80},

url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=5557891},

acmid = {1936543},

publisher = {IEEE Press},

address = {Piscataway, NJ, USA},

keywords = {Probabilistic model checking, linear temporal logic, Discrete Time Markov Chain, pharmacokinetics}}