`Travelled to:`

1 × France

1 × Germany

1 × Greece

1 × Israel

1 × Portugal

1 × United Kingdom

`Collaborated with:`

M.Z.Kwiatkowska G.Norman A.Parma E.Bandini S.Cattani R.Gawlick J.F.Søgaard-Andersen N.A.Lynch L.d.Alfaro D.Parker

`Talks about:`

probabilist (3) system (3) bisimul (2) use (2) represent (1) distribut (1) consensus (1) character (1) stochast (1) protocol (1)

## Person: Roberto Segala

### DBLP: Segala:Roberto

### Contributed to:

### Wrote 6 papers:

- FoSSaCS-2007-ParmaS #bisimulation #logic #probability
- Logical Characterizations of Bisimulations for Discrete Probabilistic Systems (AP, RS), pp. 287–301.
- FoSSaCS-2005-CattaniSKN #nondeterminism #probability
- Stochastic Transition Systems for Continuous State Spaces and Non-determinism (SC, RS, MZK, GN), pp. 125–139.
- CAV-2001-KwiatkowskaNS #automation #distributed #protocol #random #using #verification
- Automated Verification of a Randomized Distributed Consensus Protocol Using Cadence SMV and PRISM (MZK, GN, RS), pp. 194–206.
- ICALP-2001-BandiniS #axiom #bisimulation #probability
- Axiomatizations for Probabilistic Bisimulation (EB, RS), pp. 370–381.
- TACAS-2000-AlfaroKNPS #model checking #probability #process #representation #using
- Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation (LdA, MZK, GN, DP, RS), pp. 395–410.
- ICALP-1994-GawlickSSL #liveness
- Liveness in Timed and Untimed Systems (RG, RS, JFSA, NAL), pp. 166–177.