Roberta Lanciani

Identifiers

• name variant Roberta Lanciani 0.60 · backfill

Papers (2)

1. Model Checking Markov Population Models by Stochastic Approximations cs.LO · 2017 · author #2
2. Fluid Model Checking of Timed Properties cs.FL · 2015 · author #2

Mentions

• 1506.05909 #2 · backfill · confidence 0.70 Roberta Lanciani

Frequent Coauthors

• Luca Bortolussi 2 shared papers
• Laura Nenzi 1 shared papers