Continuous-Time Markov Chains
We consider continuous-time Markov chains (CTMC) with very large or infinite state spaces which are, for instance, used to model …
@article{mikeevOnTheFlyVerificationAndOptimization2013,
author = {Linar Mikeev and Martin R. Neuhäußer and David Spieler and Verena Wolf},
doi = {10.1007/s10703-012-0165-1},
editor = {Nicht bekannt},
journal = {Formal Methods in System Design},
month = {10},
number = {2},
pages = {313-337},
publisher = {Springer US, USA},
title = {On-the-fly verification and optimization of DTA-properties for large Markov chains},
volume = {43},
year = {2013}
}