Sciweavers

FAC
2007
94views more  FAC 2007»
14 years 13 days ago
Parametric probabilistic transition systems for system design and analysis
Abstract. We develop a model of Parametric Probabilistic Transition Systems, where probabilities associated with transitions may be parameters. We show how to find instances of th...
Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo...
ENTCS
2007
126views more  ENTCS 2007»
14 years 13 days ago
Notes on Generative Probabilistic Bisimulation
In this notes we consider the model of Generative Probabilistic Transition Systems, and Baier and Hermanns’ notion of weak bisimulation defined over them. We prove that, if we ...
Simone Tini