10 search results - page 1 / 2 » A Testing Equivalence for Reactive Probabilistic Processes |
ENTCS
1998
13 years 4 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 4 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 4 months ago
2010
Springer
FSTTCS
2006
Springer
13 years 8 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
13 years 11 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 ...