138 search results - page 2 / 28 » Unifying Probability with Nondeterminism |
FOSSACS
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. We study the interaction between non-deterministic and probabilistic behaviour in systems with continuous state spaces, arbitrary probability distributions and uncountabl...
ENTCS
2006
13 years 5 months ago
2006
Trace semantics has been defined for various non-deterministic systems with different input/output types, or with different types of "non-determinism" such as classical ...
EPEW
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Restricting the power of the schedulers that resolve the nondeterminism in probabilistic concurrent systems has recently drawn the attention of the research community. Th...
ISIPTA
1999
IEEE
13 years 9 months ago
1999
IEEE
Belief functions, possibility measures and Choquet capacities of order 2, which are special kinds of coherent upper or lower probability, are amongst the most popular mathematical...
ILP
2004
Springer
13 years 11 months ago
2004
Springer