On the probabilistic bisimulation spectrum with silent moves

Publikation: Beitrag in FachzeitschriftForschungsartikelBeigetragenBegutachtung

Beitragende

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

OriginalspracheEnglisch
Seiten (von - bis)465-512
Seitenumfang48
FachzeitschriftActa informatica
Jahrgang57
Ausgabenummer3-5
PublikationsstatusVeröffentlicht - 1 Okt. 2020
Peer-Review-StatusJa

Externe IDs

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

Schlagworte