Showing 1–2 of 2 results for author: Moroni, M S

A classification of bisimilarities for general Markov decision processes

Authors: Martín Santiago Moroni, Pedro Sánchez Terraf

Abstract: We provide a fine classification of bisimilarities between states of possibly different labelled Markov processes (LMP). We show that a bisimilarity relation proposed by Panangaden that uses direct sums coincides with "event bisimilarity" from his joint work with Danos, Desharnais, and Laviolette. We also extend Giorgio Bacci's notions of bisimilarity between two different processes to the case of… ▽ More We provide a fine classification of bisimilarities between states of possibly different labelled Markov processes (LMP). We show that a bisimilarity relation proposed by Panangaden that uses direct sums coincides with "event bisimilarity" from his joint work with Danos, Desharnais, and Laviolette. We also extend Giorgio Bacci's notions of bisimilarity between two different processes to the case of nondeterministic LMP and generalize the game characterization of state bisimilarity by Clerc et al. for the latter. △ Less

Submitted 13 February, 2024; v1 submitted 17 January, 2024; originally announced January 2024.

Comments: 38 pages. v2: Reference to prior example due to D. Gburek and added acknowledgment

MSC Class: 68Q85 (Primary); 60Jxx; 03E15; 28A05 (Secondary) ACM Class: F.4.1

The Zhou Ordinal of Labelled Markov Processes over Separable Spaces

Authors: Martín Santiago Moroni, Pedro Sánchez Terraf

Abstract: There exist two notions of equivalence of behavior between states of a Labelled Markov Process (LMP): state bisimilarity and event bisimilarity. The first one can be considered as an appropriate generalization to continuous spaces of Larsen and Skou's probabilistic bisimilarity, while the second one is characterized by a natural logic. C. Zhou expressed state bisimilarity as the greatest fixed poi… ▽ More There exist two notions of equivalence of behavior between states of a Labelled Markov Process (LMP): state bisimilarity and event bisimilarity. The first one can be considered as an appropriate generalization to continuous spaces of Larsen and Skou's probabilistic bisimilarity, while the second one is characterized by a natural logic. C. Zhou expressed state bisimilarity as the greatest fixed point of an operator $\mathcal{O}$, and thus introduced an ordinal measure of the discrepancy between it and event bisimilarity. We call this ordinal the "Zhou ordinal" of $\mathbb{S}$, $\mathfrak{Z}(\mathbb{S})$. When $\mathfrak{Z}(\mathbb{S})=0$, $\mathbb{S}$ satisfies the Hennessy-Milner property. The second author proved the existence of an LMP $\mathbb{S}$ with $\mathfrak{Z}(\mathbb{S}) \geq 1$ and Zhou showed that there are LMPs having an infinite Zhou ordinal. In this paper we show that there are LMPs $\mathbb{S}$ over separable metrizable spaces having arbitrary large countable $\mathfrak{Z}(\mathbb{S})$ and that it is consistent with the axioms of $\mathit{ZFC}$ that there is such a process with an uncountable Zhou ordinal. △ Less

Submitted 22 December, 2022; v1 submitted 7 May, 2020; originally announced May 2020.

Comments: v1: 19 pages. v2: role of the logic on Introduction, relation with previous constructions and 1 figure. Many minor corrections. v3: 20 pages. First item in former Lemma 30 was incorrect, but all the main results are still correct. Accepted at Review of Symbolic Logic. We are very grateful for the referee's useful suggestions and detailed reading

MSC Class: 68Q85 (Primary); 60Jxx; 03E15; 28A05 (Secondary) ACM Class: F.4.1