2 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…