163 search results - page 4 / 33 » An Introduction to Probabilistic Automata |
CONCUR
2006
Springer
13 years 11 months ago
2006
Springer
We give a brief overview of operational models for concurrent systems that exhibit probabilistic behavior, focussing on the interplay between probability and nondeterminism. Our su...
IWANN
1997
Springer
13 years 11 months ago
1997
Springer
CORR
2010
Springer
13 years 5 months ago
2010
Springer
FORMATS
2003
Springer
14 years 27 days ago
2003
Springer
Probabilistic timed automata, a variant of timed automata extended with discrete probability distributions, is a specification formalism suitable for describing both nondeterminis...
FORMATS
2004
Springer
14 years 1 months ago
2004
Springer
Probabilistic timed automata are timed automata extended with discrete probability distributions, and can be used to model timed randomised protocols or faulttolerant systems. We ...