✦ LIBER ✦

Real-reward testing for probabilistic processes

✍ Scribed by Deng, Yuxin; van Glabbeek, Rob; Hennessy, Matthew; Morgan, Carroll

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Testing Preorders for Probabilistic Proc

✍ Rance Cleaveland; Zeynep Dayar; Scott A. Smolka; Shoji Yuen 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 556 KB

On real reward testing

✍ Wei-zhong Yang; Yu-xin Deng 📂 Article 📅 2011 🏛 Chinese Electronic Periodical Services 🌐 English ⚖ 224 KB

Remarks on Testing Probabilistic Process

✍ Yuxin Deng; Rob van Glabbeek; Matthew Hennessy; Carroll Morgan; Chenyi Zhang 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 691 KB

Brain mechanisms for evaluating probabil

✍ Yoshida, Takehiko; Ito, Makoto; Morimura, Tetsuro; Samejima, Kazuyuki; Okuda, Ji 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 73 KB

Probabilistic algorithm for testing prim

✍ Michael O Rabin 📂 Article 📅 1980 🏛 Elsevier Science 🌐 English ⚖ 634 KB

Probabilistic inference for multiple tes

✍ Liu, Chuanhai; Xie, Jun 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 374 KB