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…