A game-theoretic approach to behavioural visualisation

M. Westergaard

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    3 Citations (Scopus)

    Abstract

    To bridge the gap between domain experts and formal methods experts, visualisations of the behaviour of formal models are used to let the domain expert understand and experiment with the formal model. In this paper we provide a definition of visualisations, founded in game-theory, which regards visualisations as transition systems synchronised with formal models. We show example visualisations, use them to show winning strategies of games, and demonstrate how an industrial application of formal models benefited from this approach.
    Original languageEnglish
    Title of host publicationProceedings of the 2nd International Workshop on Formal Methods for Interactive Systems (FMIS 2007, Lancaster, UK, September 4, 2007)
    EditorsA. Cerone, P. Curzon
    Pages113-129
    DOIs
    Publication statusPublished - 2008

    Publication series

    NameElectronic Notes in Theoretical Computer Science
    Volume208
    ISSN (Print)1571-0061

    Fingerprint

    Dive into the research topics of 'A game-theoretic approach to behavioural visualisation'. Together they form a unique fingerprint.

    Cite this