Abstract interpretations of games

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

In recent work we have proposed abstract games, and an example algorithm for finding winning strategies of them, as an approach to verification problems - such as model-checking and equivalence checking - which permits both a variable level of abstraction and on-the-fly exploration. It was clear that this work had something in common with abstract interpretation. This paper, which describes work in progress, generalises and makes the connection explicit.
Original languageEnglish
Title of host publicationProc. 2nd International Workshop on Verification, Model Checking and Abstract Interpretation, VMCAI'98
Publication statusPublished - 1998

Fingerprint Dive into the research topics of 'Abstract interpretations of games'. Together they form a unique fingerprint.

Cite this