@article{ZP22b,
  author        = {C. Zhang and J. Pang},
  title         = {Modal characterisation of simulation relations in probabilistic concurrent games},
  journal       = {Science of Computer Programming},
  year          = {2022},
  volume        = {215},
  pages         = {102762}
}