Model Checking Markov Population Models by Central Limit Approximation. - Luca Bortolussi; Roberta Lanciani (QEST, 2013)

Stochastic Approximation of Global Reachability Probabilities of Markov Population Models. - Luca Bortolussi; Roberta Lanciani (EPEW, 2014)

Fluid Model Checking of Timed Properties. - Luca Bortolussi; Roberta Lanciani (FORMATS, 2015)

Model checking Markov population models by stochastic approximations. - Luca Bortolussi; Roberta Lanciani; Laura Nenzi (Inf. Comput., 2018)