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…
math.LO2026
The associative-poset point of view on right regular bands
Joel Kuperman, Pedro Sánchez Terraf
We present two results on the relation between the class of right regular bands (RRBs) and their underlying *associative posets*. The first one is a construction of a left adjoint…
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…