DMCA
Probabilistic Automata: System Types, Parallel Composition and Comparison (2004)
Cached
Download Links
- [www.ics.ele.tue.nl]
- [www.es.ele.tue.nl]
- [www.cs.uni-salzburg.at]
- [www.liacs.nl]
- [www.win.tue.nl]
- [www.win.tue.nl]
- DBLP
Other Repositories/Bibliography
by
A. Sokolova
,
E. P. De Vink
| Venue: | In Validation of Stochastic Systems: A Guide to Current Research |
| Citations: | 32 - 5 self |
BibTeX
@INPROCEEDINGS{Sokolova04probabilisticautomata:,
author = {A. Sokolova and E. P. De Vink},
title = {Probabilistic Automata: System Types, Parallel Composition and Comparison},
booktitle = {In Validation of Stochastic Systems: A Guide to Current Research},
year = {2004},
pages = {1--43},
publisher = {Springer}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
We survey various notions of probabilistic automata and probabilistic bisimulation, accumulating in an expressiveness hierarchy of probabilistic system types. The aim of this paper is twofold: On the one hand it provides an overview of existing types of probabilistic systems and, on the other hand, it explains the relationship between these models.
