In this paper we look at one of the seminal works of Rob van Glabbeek from a probabilistic angle. We develop the bisimulation spectrum with silent moves for probabilistic models, namely Markov decision processes. Especially the treatment of divergence makes this endeavour challenging. We provide operational as well as logical characterisations of a total of 32 bisimilarities.

中文翻译：

---

关于无声移动的概率互模拟谱

在本文中，我们从概率的角度来看 Rob van Glabbeek 的开创性作品之一。我们为概率模型开发了具有无声移动的互模拟谱，即马尔可夫决策过程。特别是对分歧的处理使这项努力具有挑战性。我们提供总共 32 个双相似性的操作和逻辑特征。