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.

Toggle side column

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
  • 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}
}