Conference item icon

Conference item

A tool for the automated verification of Nash equilibria in concurrent games

Abstract:

Reactive Modules is a high-level specification language for concurrent and multi-agent systems, used in a number of practical model checking tools. Reactive Modules Games is a game-theoretic extension of Reactive Modules, in which concurrent agents in the system are assumed to act strategically in an attempt to satisfy a temporal logic formula representing their individual goal. The basic analytical concept for Reactive Modules Games is Nash equilibrium. In this paper, we describe a tool thro...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed

Actions


Access Document


Files:
Publisher copy:
10.1007/978-3-319-25150-9_34

Authors


More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
More from this funder
Name:
European Research Council
Grant:
291528 (“RACE”
Publisher:
Springer International Publishing
Host title:
Theoretical Aspects of Computing – ICTAC 2015 : 12th International Colloquium Cali, Colombia, October 29–31, 2015, Proceedings
Series:
Lecture Notes in Computer Science
Series number:
9399
Pages:
583-594
Publication date:
2015-12-25
Event title:
12th International Colloquium on Theoretical Aspects of Computing (ICTAC 2015)
Event location:
Cali, Colombia
Event website:
http://www.ictac2015.co/
Event start date:
2015-10-29
Event end date:
2015-10-30
DOI:
ISSN:
0302-9743
EISBN:
978-3-319-25150-9
ISBN:
978-3-319-25149-3
Language:
English
Keywords:
Pubs id:
pubs:572663
UUID:
uuid:ac3d7dc9-bc61-4644-a016-8ad32a4ebbca
Local pid:
pubs:572663
Source identifiers:
572663
Deposit date:
2015-11-12

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP