@inproceedings{Deng_GMZ_07,
    address          = {Braga, Portugal},
    author           = {Deng, Yuxin and van Glabbeek, Robert and Morgan, Carroll and Zhang, Chenyi},
    booktitle        = {Proceedings of the 16thEuropean Symposium on Programming},
    editor           = {{R. De Nicola}},
    issn             = {0302-9743},
    keywords         = {probabilistic processes, nondeterminism, probabilistic automata, testing equivalences, reward
                        testing, hyperplanes, compactness, markov decision processes.},
    month            = mar,
    pages            = {363--378},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/147.pdf},
    publisher        = {Lecture Notes in Computer Science},
    title            = {Scalar Outcomes Suffice for Finitary Probabilistic Testing},
    year             = {2007}
  }