2 papers
cs.LO2017
Model Checking Markov Population Models by Stochastic Approximations
Luca Bortolussi, Roberta Lanciani, Laura Nenzi
Many complex systems can be described by population models, in which a pool of agents interacts and produces complex collective behaviours. We consider the problem of verifying for…
cs.FL2015
Fluid Model Checking of Timed Properties
Luca Bortolussi, Roberta Lanciani
We address the problem of verifying timed properties of Markovian models of large populations of interacting agents, modelled as finite state automata. In particular, we focus on t…