Model Checking Nash Equilibria in MAD Distributed Systems

被引：0

作者：

Mari, Federico ^{[1
]}

Melatti, Igor ^{[1
]}

Salvo, Ivano ^{[1
]}

Tronci, Enrico ^{[1
]}

Alvisi, Lorenzo ^{[2
]}

Clement, Allen ^{[2
]}

Li, Harry ^{[2
]}

机构：

[1] Univ Roma La Sapienza, Dept Comp Sci, I-00198 Rome, Italy

[2] Univ Texas Austin, Dept Comp Sci, Austin, TX USA

来源：

2008 FORMAL METHODS IN COMPUTER-AIDED DESIGN | 2008年

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

We present a symbolic model checking algorithm for verification of Nash equilibria in finite state mechanisms modeling Multiple Administrative Domains (MAD) distributed systems. Given a finite state mechanism, a proposed protocol for each agent and an indifference threshold for rewards, our model checker returns PASS if the proposed protocol is a Nash equilibrium (up to the given indifference threshold) for the given mechanism, FAIL otherwise. We implemented our model checking algorithm inside the NuSMV model checker and present experimental results showing its effectiveness for moderate size mechanisms.

引用

页码：85 / +

页数：3

共 50 条

[1] Model Checking Coalition Nash Equilibria in MAD Distributed Systems
Mari, Federico
Melatti, Igor
Salvo, Ivano
Tronci, Enrico
Alvisi, Lorenzo
Clement, Allen
Li, Harry
STABILIZATION, SAFETY, AND SECURITY OF DISTRIBUTED SYSTEMS, PROCEEDINGS, 2009, 5873 : 531 - 546
[2] Learning efficient Nash equilibria in distributed systems
Pradelski, Bary S. R.
Young, H. Peyton
GAMES AND ECONOMIC BEHAVIOR, 2012, 75 (02) : 882 - 897
[3] Model Checking Nash-Equilibrium - Automatic Verification of Robustness in Distributed Systems
Fernando, Dileepa
FORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2018, 2018, 11232 : 436 - 440
[4] Model checking probabilistic distributed systems
Bollig, B
Leucker, M
ADVANCES IN COMPUTING SCIENCE - ASIAN 2003: PROGRAMMING LANGUAGES AND DISTRIBUTED COMPUTATION, 2003, 2896 : 291 - 304
[5] Model Checking Guided Testing for Distributed Systems
Wang, Dong
Dou, Wensheng
Gao, Yu
Wu, Chenao
Wei, Jun
Huang, Tao
PROCEEDINGS OF THE EIGHTEENTH EUROPEAN CONFERENCE ON COMPUTER SYSTEMS, EUROSYS 2023, 2023, : 127 - 143
[6] Modular Software Model Checking for Distributed Systems
Leungwattanakit, Watcharin
Artho, Cyrille
Hagiya, Masami
Tanabe, Yoshinori
Yamamoto, Mitsuharu
Takahashi, Koichi
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2014, 40 (05) : 483 - 501
[7] On Model Checking Techniques for Randomized Distributed Systems
Baier, Christel
INTEGRATED FORMAL METHODS, 2010, 6396 : 1 - 11
[8] On Expressiveness of TCTLhΔ for Model Checking Distributed Systems
Jbeli, Naima
Sbai, Zohra
Ben Ayed, Rahma
COMPUTATIONAL COLLECTIVE INTELLIGENCE, ICCCI 2016, PT I, 2016, 9875 : 323 - 332
[9] Dara: Hybrid Model Checking of Distributed Systems
Anand, Vaastav
ESEC/FSE'18: PROCEEDINGS OF THE 2018 26TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, 2018, : 977 - 979
[10] Nash Equilibria in Stabilizing Systems
Gouda, Mohamed G.
Acharya, Hrishikesh B.
STABILIZATION, SAFETY, AND SECURITY OF DISTRIBUTED SYSTEMS, PROCEEDINGS, 2009, 5873 : 311 - 324

← 1 2 3 4 5 →