57 citations · 278 across the 28 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…