"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

DOI Link

Christel Baier, Pedro R. D'Argenio, Holger Hermanns
On the probabilistic bisimulation spectrum with silent moves
Acta Informatica, 57:465---512, 2020

Details
Bibtex

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