341 citations · 642 across the 10 of their papers we have counts for
1 paper · 2 filters
Dimitrios Milios, Guido Sanguinetti, David Schnoerr
Probabilistic model checking for systems with large or unbounded state space is a challenging computational problem in formal modelling and its applications. Numerical algorithms r…