Sort by: Order: Results:

Now showing items 1-1 of 1

  • Real Reward Testing for Probabilistic Processes 

    We introduce a notion of real reward testing for probabilistic processes by extending the traditional nonnegative reward testing with negative rewards. In this testing framework, the may and must preorders turn out to ...