Dongmo Zhang. Behavioural Equivalence of Game Descriptions. In Marcus Gallagher, Nour Moustafa, Erandi Lakshika, editors, AI 2020: Advances in Artificial Intelligence - 33rd Australasian Joint Conference, AI 2020, Canberra, ACT, Australia, November 29-30, 2020, Proceedings. Volume 12576 of Lecture Notes in Computer Science, pages 307-319, Springer, 2020. [doi]
Abstract is missing.