3 papers
cs.LO2026
The complexity of bisimilarity on pointmass processes
Martín Santiago Moroni, Pedro Sánchez Terraf
We assess the descriptive complexity of *bisimilarity* or "equality of behavior" on a family of Markov decision processes over uncountable standard Borel spaces, namely *nondetermi…
cs.LO2024
A classification of bisimilarities for general Markov decision processes
Martín Santiago Moroni, Pedro Sánchez Terraf
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…
cs.LO2020
The Zhou Ordinal of Labelled Markov Processes over Separable Spaces
Martín Santiago Moroni, Pedro Sánchez Terraf
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…