Chenyi Zhang, Jun Pang 0001. Characterising Probabilistic Alternating Simulation for Concurrent Games. In Toshiaki Aoki, Qin Li, editors, International Symposium on Theoretical Aspects of Software Engineering, TASE 2020, Hangzhou, China, December 11-13, 2020. pages 121-128, IEEE, 2020. [doi]
Abstract is missing.