Fingerprint
Dive into the research topics of 'Real-Reward Testing for Probabilistic Processes (Extended Abstract)'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Real-Reward Testing for Probabilistic Processes (Extended Abstract)
Yuxin Deng, Rob van Glabbeek, Matthew Hennessy, Carroll Morgan
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution