A Testing Scenario for Probabilistic Automata

  title={A Testing Scenario for Probabilistic Automata},
  author={Mari{\"e}lle Stoelinga and Frits W. Vaandrager},
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



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.