TY  - RPRT
TI  - A Lyapunov Approach for Time Bounded Reachability of CTMCs and CTMDPs
AU  - Mahmoud Salamati
AU  - Sadegh Soudjani
AU  - Rupak Majumdar
PY  - 2020
UR  - https://arxiv.org/abs/1909.06112
ID  - 1909.06112
ER  -