Summary: Model Checking Coalition Nash Equilibria in
MAD Distributed Systems
Federico Mari1
, Igor Melatti1,
, Ivano Salvo1
, Enrico Tronci1
, Lorenzo Alvisi2
,
Allen Clement2
, and Harry Li2
1
Dep. of Computer Science, University of Rome "La Sapienza"
Via Salaria 113, 00198 Roma, Italy
{mari,melatti,salvo,tronci}@di.uniroma1.it
2
Dep. of Computer Science, University of Texas at Austin
1 University Station C0500, Austin, Texas, USA
{lorenzo,aclement,harry}@cs.utexas.edu
Abstract. We present two OBDD based model checking algorithms for
the verification of Nash equilibria in finite state mechanisms modeling

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

Collections: Computer Technologies and Information Sciences