Game equivalence and bisimulation for game description language

Guifei Jiang, Laurent Perrussel, Dongmo Zhang, Heng Zhang, Yuzhi Zhang

Research output: Chapter in Book / Conference PaperConference Paperpeer-review

4 Citations (Scopus)

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.]]
Original languageEnglish
Title of host publicationPRICAI 2019: Trends in Artificial Intelligence: 16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26-30, 2019, Proceedings, Part I
PublisherSpringer
Pages583-596
Number of pages13
ISBN (Print)9783030299071
DOIs
Publication statusPublished - 2019
EventPacific Rim International Conference on Artificial Intelligence -
Duration: 13 Sept 2019 → …

Publication series

Name
ISSN (Print)0302-9743

Conference

ConferencePacific Rim International Conference on Artificial Intelligence
Period13/09/19 → …

Keywords

  • GGPP
  • artificial intelligence
  • bisimulation
  • computer games

Fingerprint

Dive into the research topics of 'Game equivalence and bisimulation for game description language'. Together they form a unique fingerprint.

Cite this