A fast algorithm for the transient reward distribution in continuous-time Markov chains
From MaRDI portal
Publication:1577470
DOI10.1016/S0167-6377(00)00023-7zbMath0954.90064OpenAlexW1972002191MaRDI QIDQ1577470
Publication date: 9 February 2001
Published in: Operations Research Letters (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0167-6377(00)00023-7
Related Items (3)
Resilience analysis of multi-state systems with time-dependent behaviors ⋮ Performability assessment by model checking of Markov reward models ⋮ Model checking for performability
Cites Work
This page was built for publication: A fast algorithm for the transient reward distribution in continuous-time Markov chains