Scalar Outcomes Suffice for Finitary Probabilistic Testing.

Yuxin Deng, Rob J. van Glabbeek, Carroll Morgan, Chenyi Zhang

Browse the full ESOP paper archive.