On the probabilistic bisimulation spectrum with silent moves
Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung
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
Originalsprache | Englisch |
---|---|
Seiten (von - bis) | 465-512 |
Seitenumfang | 48 |
Fachzeitschrift | Acta informatica |
Jahrgang | 57 |
Ausgabenummer | 3-5 |
Publikationsstatus | Veröffentlicht - 1 Okt. 2020 |
Peer-Review-Status | Ja |
Externe IDs
ORCID | /0000-0002-5321-9343/work/142236753 |
---|