Login / Signup

A Lyapunov Approach for Time-Bounded Reachability of CTMCs and CTMDPs.

Mahmoud SalamatiSadegh SoudjaniRupak Majumdar
Published in: ACM Trans. Model. Perform. Evaluation Comput. Syst. (2020)
Keyphrases