31 citations · 132 across the 17 of their papers we have counts for
1 paper · 1 filter
Radu Mardare, Luca Cardelli, Kim G. Larsen
Continuous Markovian Logic (CML) is a multimodal logic that expresses quantitative and qualitative properties of continuous-time labelled Markov processes with arbitrary (analytic)…