Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Model Checking Nash Equilibria in MAD Distributed Systems
 

Summary: Model Checking Nash Equilibria in MAD
Distributed Systems
Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
Dep. of Computer Science
University of Rome "La Sapienza"
Via Salaria 113, 00198 Roma, Italy
Email: {mari,melatti,salvo,tronci}@di.uniroma1.it
Lorenzo Alvisi, Allen Clement, Harry Li
Dep. of Computer Science
University of Texas at Austin
1 University Station C0500, Austin, Texas, USA
Email: {lorenzo,aclement,harry}@cs.utexas.edu
Abstract--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 equi-
librium (up to the given indifference threshold) for the given
mechanism, FAIL otherwise.

  

Source: Alvisi, Lorenzo - Department of Computer Sciences, University of Texas at Austin

 

Collections: Computer Technologies and Information Sciences