Roberta Lanciani

Publication Activity (10 Years)

Years Active: 2013-2018
Publications (10 Years): 2

Top Topics

Formal Specification

Reactive Systems

Temporal Properties

Top Venues

Publications

Luca Bortolussi, Roberta Lanciani, Laura Nenzi
Model checking Markov population models by stochastic approximations. Inf. Comput. 262 (2018)
Luca Bortolussi, Roberta Lanciani, Laura Nenzi
Model Checking Markov Population Models by Stochastic Approximations. CoRR (2017)
Luca Bortolussi, Roberta Lanciani
Fluid Model Checking of Timed Properties. CoRR (2015)
Luca Bortolussi, Roberta Lanciani
Fluid Model Checking of Timed Properties. FORMATS (2015)
Luca Bortolussi, Roberta Lanciani
Stochastic Approximation of Global Reachability Probabilities of Markov Population Models. EPEW (2014)
Luca Bortolussi, Roberta Lanciani
Model Checking Markov Population Models by Central Limit Approximation. QEST (2013)