Real-reward testing for probabilistic processes (extended abstract)

MaRDI QIDQ4965811zbMATH OpenFDO

Authors Yuxin Deng, Matthew G. Hennessy, Rob van Glabbeek, Carroll Morgan

Publication date 10 March 2021

Full work available at URL http://eptcs.web.cse.unsw.edu.au/paper.cgi?QAPL2011.5

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)

Recommendations

• Real-reward testing for probabilistic processes
• On real reward testing
• Remarks on testing probabilistic processes
• Testing preorders for probabilistic processes.
• Testing Finitary Probabilistic Processes

Cited in

(5)

• Real-reward testing for probabilistic processes
• scientific article; zbMATH DE number 3867090 (Why is no real title available?)
• Testing probabilistic equivalence through reinforcement learning
• On real reward testing
• Reward testing equivalences for processes

This page was built for publication: Real-reward testing for probabilistic processes (extended abstract)

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