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…