A classification of bisimilarities for general Markov decision processes
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , |
|---|---|
| Format: | Preprint |
| Publié: |
2024
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866910639656534016 |
|---|---|
| author | Moroni, Martín Santiago Terraf, Pedro Sánchez |
| author_facet | Moroni, Martín Santiago Terraf, Pedro Sánchez |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2401_09273 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | A classification of bisimilarities for general Markov decision processes Moroni, Martín Santiago Terraf, Pedro Sánchez Logic in Computer Science Logic 68Q85 (Primary), 60Jxx, 03E15, 28A05 (Secondary) F.4.1 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. |
| title | A classification of bisimilarities for general Markov decision processes |
| topic | Logic in Computer Science Logic 68Q85 (Primary), 60Jxx, 03E15, 28A05 (Secondary) F.4.1 |
| url | https://arxiv.org/abs/2401.09273 |