On the probabilistic bisimulation spectrum with silent moves

Research output: Contribution to journalResearch articleContributedpeer-review

Contributors

Abstract

In this paper we look at one of the seminal works of Rob van Glabbeek from a probabilistic angle. We develop the bisimulation spectrum with silent moves for probabilistic models, namely Markov decision processes. Especially the treatment of divergence makes this endeavour challenging. We provide operational as well as logical characterisations of a total of 32 bisimilarities.

Details

Original languageEnglish
Pages (from-to)465-512
Number of pages48
JournalActa informatica
Volume57
Issue number3-5
Publication statusPublished - 1 Oct 2020
Peer-reviewedYes

External IDs

ORCID /0000-0002-5321-9343/work/142236753