Modeling and verification of randomized distributed real-time systems

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

Differentially Private Distributed Optimization (2014, background): “The probability measure over the space of executions PP is defined in the standard way by first defining a σ-algebra of cones over the space of executions, and then by defining the probability of the cones by integrating over μ (see for example [10, 14]).”
An Introduction to Probabilistic Automata (2002, methodology): “Theorem 4.3 ([ Seg95b ]) Let be the PA shown in Figure 12, where we suppose that the actions and are fresh.”
Logical, Metric, and Algorithmic Characterisations of Probabilistic Bisimulation (2011, background): “The reconciliation of nondeterministic and probabilistic constructs starts with [27] and has received a lot of attention in the literature [67, 54, 40, 53, 29, 41, 3, 32, 44, 6, 57, 42, 14, 15, 13, 12].”
Metrics for labelled Markov processes (2004, methodology): “Investigations into the behaviour of probabilistic systems have also been carried out in the context of IO Automata [ Seg95 , WSS97].”