Zhang, C., Pang, J., 2020. Characterising Probabilistic Alternating Simulation for Concurrent Games, in: . IEEE.. https://doi.org/10.1109/tase49443.2020.00025