| 2007 | ||
|---|---|---|
| 2 | EE | Roberto Segala, Andrea Turrini: Approximated Computationally Bounded Simulation Relations for Probabilistic Automata. CSF 2007: 140-156 |
| 2005 | ||
| 1 | EE | Roberto Segala, Andrea Turrini: Comparative Analysis of Bisimulation Relations on Alternating and Non-Alternating Probabilistic Models. QEST 2005: 44-53 |
| 1 | Roberto Segala | [1] [2] |