Verification of Games in the Game Description Language

DOI10.1093/LOGCOM/EXP039zbMath1185.68678OpenAlexW2097831824MaRDI QIDQ3656768

Michael Wooldridge, Ji Ruan, Wiebe van der Hoek

Publication date: 14 January 2010

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/2a4c34f5b49c4a3963f63d48b79fcf0888116f41

zbMATH Keywords

verificationmodel checkinggame description languagegeneral game playingalternating-time temporal logic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (2)

Automated verification of state sequence invariants in general game playing ⋮ Logical-epistemic foundations of general game descriptions

Uses Software

• MOCHA

This page was built for publication: Verification of Games in the Game Description Language