4 citations · 11 across the 10 of their papers we have counts for
1 paper · 1 filter
Marta Kwiatkowska, Gethin Norman, David Parker
Probabilistic model checking is an approach to the formal modelling and analysis of stochastic systems. Over the past twenty five years, the number of different formalisms and tech…