Guardado en:
| Autores principales: | , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2024
|
| Materias: | |
| Acceso en línea: | https://arxiv.org/abs/2401.09273 |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _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 |