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}
}