8 citations · 27 across the 10 of their papers we have counts for
1 paper · 1 filter
Giovanni Bacci, Anna Ingólfsdóttir, Kim G. Larsen +1
Continuous-time Markov chains (CTMCs) are popular modeling formalism that constitutes the underlying semantics for real-time probabilistic systems such as queuing networks, stochas…