A game-theoretic approach to behavioural visualisation

M. Westergaard

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    3 Citaten (Scopus)

    Samenvatting

    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.
    Originele taal-2Engels
    TitelProceedings of the 2nd International Workshop on Formal Methods for Interactive Systems (FMIS 2007, Lancaster, UK, September 4, 2007)
    RedacteurenA. Cerone, P. Curzon
    Pagina's113-129
    DOI's
    StatusGepubliceerd - 2008

    Publicatie series

    NaamElectronic Notes in Theoretical Computer Science
    Volume208
    ISSN van geprinte versie1571-0061

    Vingerafdruk Duik in de onderzoeksthema's van 'A game-theoretic approach to behavioural visualisation'. Samen vormen ze een unieke vingerafdruk.

    Citeer dit