15 citations · 25 across the 3 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2014★ 8 cited
On-the-fly Probabilistic Model Checking
Diego Latella, Michele Loreti, Mieke Massink
Model checking approaches can be divided into two broad categories: global approaches that determine the set of all states in a model M that satisfy a temporal logic formula f, and…
cs.LO2014★ 2 cited
Specifying and Verifying Properties of Space - Extended Version
Vincenzo Ciancia, Diego Latella, Michele Loreti +1
The interplay between process behaviour and spatial aspects of computation has become more and more relevant in Computer Science, especially in the field of collective adaptive sys…