A Testing Scenario for Probabilistic Automata

@inproceedings{Stoelinga2003ATS,
  title={A Testing Scenario for Probabilistic Automata},
  author={Mari{\"e}lle Stoelinga and Frits W. Vaandrager},
  booktitle={ICALP},
  year={2003}
}
Recently, a large number of equivalences for probabilistic automata has been proposed in the literature. Except for the probabilistic bisimulation of Larsen & Skou, none of these equivalences has been characterized in terms of an intuitive testing scenario. In our view, this is an undesirable situation: in the end, the behavior of an automaton is what an external observer perceives. In this paper, we propose a simple and intuitive testing scenario for probabilistic automata and we prove that… CONTINUE READING
Highly Cited
This paper has 58 citations. REVIEW CITATIONS

5 Figures & Tables

Topics

Statistics

051015'03'05'07'09'11'13'15'17
Citations per Year

58 Citations

Semantic Scholar estimates that this publication has 58 citations based on the available data.

See our FAQ for additional information.