57 citations · 219 across the 25 of their papers we have counts for
1 paper · 2 filters
Diego Latella, Michele Loreti, Mieke Massink
A novel, scalable, on-the-fly model-checking procedure is presented to verify bounded PCTL properties of selected individuals in the context of very large systems of independent in…