A Game-theoretic Approach to Behavioural Visualisation

被引：2
|
作者：
Westergaard, Michael [1 ]
机构：
[1] Univ Aarhus, Dept Comp Sci, Aabogade 34, DK-8200 Aarhus N, Denmark
来源：
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2008年 / 208卷
关键词：
Behavioural visualisation; formal methods; game-theory; transition systems;
D O I：
10.1016/j.entcs.2008.03.110
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
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.
引用
收藏
页码：113 / 129
页数：17
相关论文
共 50 条
  • [1] Overbuilding: A game-theoretic approach
    Wang, K
    Zhou, YQ
    [J]. REAL ESTATE ECONOMICS, 2000, 28 (03) : 493 - 522
  • [2] Desuetudo: A Game-Theoretic Approach
    Faroldi, Federico L. G.
    [J]. ARCHIV FUR RECHTS- UND SOZIALPHILOSOPHIE, 2021, 107 (02): : 289 - 299
  • [3] A behavioural game-theoretic analysis of hedge fund regulation
    Fairchild, Richard
    [J]. EUROPEAN JOURNAL OF FINANCE, 2018, 24 (7-8): : 606 - 629
  • [4] A GAME-THEORETIC APPROACH TO NETWORK EQUILIBRIUM
    HAURIE, A
    MARCOTTE, P
    [J]. MATHEMATICAL PROGRAMMING STUDY, 1986, 26 : 252 - 255
  • [5] A game-theoretic approach to decision in FDI
    Darkhovski, B
    Staroswiecki, M
    [J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2003, 48 (05) : 853 - 858
  • [6] A Game-Theoretic Approach to Graph Clustering
    Mandala, Supreet
    Kumara, Soundar
    Chatterjee, Kalyan
    [J]. INFORMS JOURNAL ON COMPUTING, 2014, 26 (03) : 629 - 643
  • [7] ALOHA networks: a game-theoretic approach
    Marban, Sebastian
    van de Ven, Peter
    Borm, Peter
    Hamers, Herbert
    [J]. MATHEMATICAL METHODS OF OPERATIONS RESEARCH, 2013, 78 (02) : 221 - 242
  • [8] Security in Networks: A Game-Theoretic Approach
    Gueye, Assane
    Walrand, Jean C.
    [J]. 47TH IEEE CONFERENCE ON DECISION AND CONTROL, 2008 (CDC 2008), 2008, : 829 - 834
  • [9] Petty corruption: A game-theoretic approach
    Lambert-Mogiliansky, Ariane
    Majumdar, Mukul
    Radner, Roy
    [J]. INTERNATIONAL JOURNAL OF ECONOMIC THEORY, 2008, 4 (02) : 273 - 297
  • [10] Trading the Cloud: A Game-Theoretic Approach
    Zheng, Xianrong
    [J]. AMCIS 2020 PROCEEDINGS, 2020,
12345