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…