TY  - RPRT
TI  - Characterising Probabilistic Alternating Simulation for Concurrent Games
AU  - Chenyi Zhang
AU  - Jun Pang
PY  - 2019
UR  - https://arxiv.org/abs/1907.03928
ID  - 1907.03928
ER  -