Markov Population Models

Bounding Mean First Passage Times in Population Continuous-Time Markov Chains

We consider the problem of bounding mean first passage times and reachability probabilities for the class of population continuous-time …

@inproceedings{backenkohlerBoundingMeanFirstPassage2020,
 author = {Michael Backenköhler and Luca Bortolussi and Verena Wolf},
 booktitle = {Quantitative Evaluation of Systems. International Conference on Quantitative Evaluation of Systems (QEST), Cham},
 doi = {10.1007/978-3-030-59854-9_13},
 editor = {Marco Gribaudo and David N. Jansen and Anne Remke},
 isbn = {9783030598549},
 pages = {155-174},
 publisher = {Springer International Publishing},
 title = {Bounding Mean First Passage Times in Population Continuous-Time Markov Chains},
 url = {https://link.springer.com/chapter/10.1007/978-3-030-59854-9_13},
 year = {2020}
}