Work

A classification of bisimilarities for general Markov decision processes

Year: 2025

Type: article

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 nondeterministic LMP and generalize the game characterization of state bisimilarity by Clerc et al. for the latter.

Source: Mathematical Structures in Computer Science

DOI: 10.1017/s0960129524000409

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

Institutions: Universidad Nacional de Córdoba, Consejo Nacional de Investigaciones Científicas y Técnicas

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W4409206017

FWCI:

Cites: 23

Cited by:

Related to: 10