10 search results - page 1 / 2 » A Testing Equivalence for Reactive Probabilistic Processes |
ENTCS
1998
13 years 10 months ago
1998
We consider a generalisation of Larsen and Skou’s [19] reactive probabilistic transition systems which exhibit three kinds of choice: action-guarded probabilistic choice, extern...
ENTCS
1998
13 years 10 months ago
1998
Abstract Metric-Space Denotational Semantics for Reactive Probabilistic Processes M.Z. Kwiatkowska and G.J. Norman School of Computer Science, University of Birmingham, Edgbaston, ...
CORR
2010
Springer
13 years 11 months ago
2010
Springer
FSTTCS
2006
Springer
14 years 2 months ago
2006
Springer
We propose a new approach to verification of probabilistic processes for which the model may not be available. We use a technique from Reinforcement Learning to approximate how far...
FOSSACS
2010
Springer
14 years 5 months ago
2010
Springer
Abstract. This paper considers the probabilistic may/must testing theory for processes having external, internal, and probabilistic choices. We observe that the underlying testing ...