✦ LIBER ✦

Bisimilarity of Distributionally Equivalent Markov Transition Systems

✍ Scribed by Ernst-Erich Doberkat

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Unifying behavioral equivalences of time

✍ I. B. Virbitskaite; N. S. Gribovskaya 📂 Article 📅 2010 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 362 KB

Failure-equivalent transformation of tra

✍ Gang Luo; Gregor v. Bochmann; Anindya Das; Cheng Wu 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 914 KB

Complete Equivalence of the Gibbs Ensemb

✍ Stefan Adams 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 215 KB

Studying equivalences of transition syst

✍ Pasquale Malacaria 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 801 KB

ℋ∞ control of discrete-time Markov jump

✍ E. K. Boukas 📂 Article 📅 2009 🏛 John Wiley and Sons 🌐 English ⚖ 127 KB

Faithfulness property of the transition

✍ M. Courbage; C.Th. Coutsomitros; B. Misra 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 399 KB