On the probabilistic bisimulation spectrum with silent moves
From International Center for Computational Logic
"May" is not in the list (Januar, Februar, März, April, Mai, Juni, Juli, August, September, Oktober, ...) of allowed values for the "Month" property.
On the probabilistic bisimulation spectrum with silent moves
Christel BaierChristel Baier, Pedro R. D'ArgenioPedro R. D'Argenio, Holger HermannsHolger Hermanns
Christel Baier, Pedro R. D'Argenio, Holger Hermanns
On the probabilistic bisimulation spectrum with silent moves
Acta Informatica, 57:465---512, 2020
On the probabilistic bisimulation spectrum with silent moves
Acta Informatica, 57:465---512, 2020
- KurzfassungAbstract
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. - Forschungsgruppe:Research Group: Algebraische und logische Grundlagen der InformatikAlgebraic and Logical Foundations of Computer Science
@article{B{H2020,
author = {Christel Baier and Pedro R. {D'Argenio} and Holger Hermanns},
title = {On the probabilistic bisimulation spectrum with silent moves},
journal = {Acta Informatica},
volume = {57},
year = {2020},
pages = {465---512},
doi = {10.1007/s00236-020-00379-2}
}