31 citations · 132 across the 17 of their papers we have counts for
1 paper · 2 filters
Luca Bortolussi, Luca Cardelli, Marta Kwiatkowska +1
We consider probabilistic model checking for continuous-time Markov chains (CTMCs) induced from Stochastic Reaction Networks (SRNs) against a fragment of Continuous Stochastic Logi…