Journal article

Reasoning about equilibria in game-like concurrent systems

Abstract:: In this paper we study techniques for reasoning about game-like concurrent systems, where the components of the system act rationally and strategically in pursuit of logically-specified goals. Specifically, we start by presenting a computational model for such concurrent systems, and investigate its computational, mathematical, and game-theoretic properties. We then define and investigate a branching-time temporal logic for reasoning about the equilibrium properties of game-like concurrent systems. The key operator in this temporal logic is a novel path quantifier [NE]ϕ, which asserts that ϕ holds on all Nash equilibrium computations of the system.

Publication status:: Published

Peer review status:: Peer reviewed

Actions

Email

Email this record

Send the bibliographic details of this record to your email address.

Your Email
Please enter the email address that the record information will be sent to.

-
Your message (optional)
Please add any additional information to be included within the email.
Cite

Cite this record

APA Style

Gutierrez, J., Harrenstein, P., & Wooldridge, M. (2016). Reasoning about equilibria in game-like concurrent systems. Annals of Pure and Applied Logic, 168(2), 373–403.

MLA Style

Gutierrez, J., et al. “Reasoning about Equilibria in Game-like Concurrent Systems.” Annals of Pure and Applied Logic, vol. 168, no. 2, Elsevier, 2016, pp. 373–403.

Chicago Style

Gutierrez, J, P Harrenstein, and M Wooldridge. 2016. “Reasoning about Equilibria in Game-like Concurrent Systems.” Annals of Pure and Applied Logic 168 (2): 373–403.
Share
Print

Access Document

Files:: Equilibria_July.pdf

(Preview, Accepted manuscript, pdf, 395.5KB, Terms of use)

Publisher copy:: 10.1016/j.apal.2016.10.009

Authors

+ Gutierrez, J More by this author

Institution:: University of Oxford
Division:: MPLS
Department:: Computer Science
Role:: Author

+ Harrenstein, P More by this author

Institution:: University of Oxford
Division:: MPLS
Department:: Computer Science
Role:: Author

+ Wooldridge, M More by this author

Institution:: University of Oxford
Division:: MPLS
Department:: Computer Science
Role:: Author

+ European Research Council More from this funder

Grant:: Advanced Investigator Grant 291528 (“RACE”

Publisher:: Elsevier
Journal:: Annals of Pure and Applied Logic More from this journal
Volume:: 168
Issue:: 2
Pages:: 373-403
Publication date:: 2016-10-13
Acceptance date:: 2016-04-17
DOI:: 10.1016/j.apal.2016.10.009
EISSN:: 0168-0072
ISSN:: 1873-2461

Keywords:: equilibria

games and strategic reasoning

temporal logic
Pubs id:: pubs:616307
UUID:: uuid:f282a4be-34fb-4253-9cf0-771fdb71cf6b
Local pid:: pubs:616307
Source identifiers:: 616307
Deposit date:: 2016-04-18

Terms of use

Copyright holder:: Elsevier BV
Copyright date:: 2016
Notes:: Copyright © 2016 Elsevier B.V. This is the accepted manuscript version of the article. The final version is available online from Elsevier at: https://doi.org/10.1016/j.apal.2016.10.009

Licence:: CC Attribution-NonCommercial-NoDerivatives (CC BY-NC-ND)

Views and Downloads

About 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