✦ LIBER ✦

Bisimulation for Labelled Markov Processes

✍ Scribed by Josée Desharnais; Abbas Edalat; Prakash Panangaden

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Bisimulation Metrics for Continuous Mark

✍ Ferns, Norm; Panangaden, Prakash; Precup, Doina 📂 Article 📅 2011 🏛 Society for Industrial and Applied Mathematics 🌐 English ⚖ 642 KB

Approximating labelled Markov processes

✍ Josée Desharnais; Vineet Gupta; Radha Jagadeesan; Prakash Panangaden 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 347 KB

Continuous stochastic logic characterize

✍ Josée Desharnais; Prakash Panangaden 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 171 KB

Probabilistic bisimulations for quantum

✍ Yuan Feng; Runyao Duan; Zhengfeng Ji; Mingsheng Ying 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 478 KB

Probabilistic bisimulations for quantum

✍ Feng, Yuan; Duan, Runyao; Ji, Zhengfeng; Ying, Mingsheng 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 462 KB

Approximation Metrics Based on Probabili

✍ Abate, Alessandro 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 329 KB