Real-Reward Testing for Probabilistic Processes (Extended Abstract)

Yuxin Deng, Rob van Glabbeek, Matthew Hennessy +1

We introduce a notion of real-valued reward testing for probabilistic processes by extending the traditional nonnegative-reward testing with negative rewards. In this richer testin…