On real reward testing

DOI10.1007/S12204-011-1176-6zbMATH Open1294.68114OpenAlexW1965921766MaRDI QIDQ407446FDOQ407446

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

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

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)

Cites Work

• Title not available (Why is that?)
• Testing equivalences for processes
• Title not available (Why is that?)
• Characterising Testing Preorders for Finite Probabilistic Processes
• Scalar Outcomes Suffice for Finitary Probabilistic Testing
• Remarks on testing probabilistic processes

Cited In (2)

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

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)