@misc{indiciae303121183c85,
  title = {Characterising Probabilistic Alternating Simulation for Concurrent Games},
  author = {Chenyi Zhang and Jun Pang},
  year = {2019},
  url = {https://arxiv.org/abs/1907.03928},
  note = {Source identifier: 1907.03928}
}