@inproceedings{152f74afb25749eb84ce1a1a18c41550,
title = "Game equivalence and bisimulation for game description language",
abstract = "![CDATA[This paper investigates the equivalence between games represented by state transition models and its applications. We first define a notion of bisimulation equivalence between state transition models and prove that it can be logically characterized by Game Description Language (GDL). Then we introduce a concept of quotient state transition model. As the minimum equivalent of the original model, it allows us to improve the efficiency of model checking for GDL. Finally, we demonstrate with real games that bisimulation equivalence can be generalized to characterize more general game equivalence.]]",
keywords = "GGPP, artificial intelligence, bisimulation, computer games",
author = "Guifei Jiang and Laurent Perrussel and Dongmo Zhang and Heng Zhang and Yuzhi Zhang",
year = "2019",
doi = "10.1007/978-3-030-29908-8_46",
language = "English",
isbn = "9783030299071",
publisher = "Springer",
pages = "583--596",
booktitle = "PRICAI 2019: Trends in Artificial Intelligence: 16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26-30, 2019, Proceedings, Part I",
note = "Pacific Rim International Conference on Artificial Intelligence ; Conference date: 13-09-2019",
}