On real reward testing

DOI10.1007/s12204-011-1176-6zbMath1294.68114OpenAlexW1965921766MaRDI QIDQ407446

Yu-xin Deng, Wei-zhong Yang

Publication date: 2 September 2014

Published in: Journal of Shanghai Jiaotong University (Science) (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s12204-011-1176-6

zbMATH Keywords

failure simulationnonnegative reward testingprobabilistic processesreal reward testing

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Cites Work

• Unnamed Item
• Unnamed Item
• Testing equivalences for processes
• Remarks on Testing Probabilistic Processes
• Characterising Testing Preorders for Finite Probabilistic Processes
• Scalar Outcomes Suffice for Finitary Probabilistic Testing

This page was built for publication: On real reward testing