On real reward testing

DOI10.1007/S12204-011-1176-6MaRDI QIDQ407446zbMATH OpenOpenAlexFDO

Authors Wei-zhong Yang, Yuxin Deng

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

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

Recommendations

• Real-reward testing for probabilistic processes
• Real-reward testing for probabilistic processes (extended abstract)
• scientific article; zbMATH DE number 1759619
• Testing Finitary Probabilistic Processes
• Remarks on testing probabilistic processes

Cites work

• scientific article; zbMATH DE number 48630 (Why is no real title available?)
• scientific article; zbMATH DE number 700091 (Why is no real title available?)
• Characterising Testing Preorders for Finite Probabilistic Processes
• Remarks on testing probabilistic processes
• Scalar Outcomes Suffice for Finitary Probabilistic Testing
• Testing equivalences for processes

Cited in

(3)

• Real-reward testing for probabilistic processes
• Reward testing equivalences for processes
• Real-reward testing for probabilistic processes (extended abstract)

This page was built for publication: On real reward testing

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q407446)