Nash equilibrium and bisimulation invariance

Nash equilibrium and bisimulation invariance

Taispeáin leaganacha eile (1)

Game theory provides a well-established framework for the analysis of concurrent and multi-agent systems. The basic idea is that concurrent processes (agents) can be understood as corresponding to players in a game; plays represent the possible computation runs of the system; and strategies define t...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Gutierrez, J, Harrenstein, B, Perelli, G, Wooldridge, M
Formáid:	Journal article
Foilsithe / Cruthaithe:	Logical Methods in Computer Science 2019

Míreanna comhchosúla

Nash equilibrium and bisimulation invariance
de réir: Gutierrez, J, et al.
Foilsithe / Cruthaithe: (2017)

Nash Equilibrium and Bisimulation Invariance
de réir: Julian Gutierrez, et al.
Foilsithe / Cruthaithe: (2019-09-01)

Expressiveness and Nash equilibrium in iterated Boolean games
de réir: Gutierrez, J, et al.
Foilsithe / Cruthaithe: (2021)

Expressiveness and Nash equilibrium in iterated Boolean games
de réir: Gutierrez, J, et al.
Foilsithe / Cruthaithe: (2016)

Rational verification: from model checking to equilibrium checking
de réir: Wooldridge, M, et al.
Foilsithe / Cruthaithe: (2016)

Nash equilibria in concurrent games with lexicographic preferences
de réir: Gutierrez, J, et al.
Foilsithe / Cruthaithe: (2017)

From model checking to equilibrium checking: reactive modules for rational verification
de réir: Gutierrez, J, et al.
Foilsithe / Cruthaithe: (2017)

Equilibrium design for concurrent games
de réir: Gutierrez, J, et al.
Foilsithe / Cruthaithe: (2019)

Bisimulation learning
de réir: Abate, A, et al.
Foilsithe / Cruthaithe: (2024)

EVE: A tool for temporal equilibrium analysis
de réir: Gutierrez, J, et al.
Foilsithe / Cruthaithe: (2018)

Automated temporal equilibrium analysis: Verification and synthesis of multi-player games
de réir: Gutierrez, J, et al.
Foilsithe / Cruthaithe: (2020)

Games for Bisimulations and Abstraction
de réir: David De Frutos Escrig, et al.
Foilsithe / Cruthaithe: (2017-11-01)

Bisimulation and refinement reconciled
de réir: Roscoe, A, et al.
Foilsithe / Cruthaithe: (2003)

Logics and bisimulation games for concurrency, causality and conflict
de réir: Gutierrez, J
Foilsithe / Cruthaithe: (2009)

Computing Nash equilibria for district-based nominations
de réir: Harrenstein, B, et al.
Foilsithe / Cruthaithe: (2022)

Approximate bisimulation minimisation
de réir: Kiefer, S, et al.
Foilsithe / Cruthaithe: (2021)

Computing maximal bisimulations
de réir: Bougakov, A, et al.
Foilsithe / Cruthaithe: (2014)

Polyprograms and Polyprogram Bisimulation
de réir: Sergei Grechanik
Foilsithe / Cruthaithe: (2018-10-01)

Relating Apartness and Bisimulation
de réir: Herman Geuvers, et al.
Foilsithe / Cruthaithe: (2021-07-01)

Implementation and strong Nash equilibrium
de réir: Maskin, Eric
Foilsithe / Cruthaithe: (2011)

Infinite sequential Nash equilibrium
de réir: Stephane Le Roux
Foilsithe / Cruthaithe: (2013-05-01)

On the Nash equilibrium in the inspector problem
de réir: Martynas Sabaliauskas, et al.
Foilsithe / Cruthaithe: (2014-12-01)

A Domain Equation for Bisimulation
de réir: Abramsky, S
Foilsithe / Cruthaithe: (1991)

Lowerbounds for Bisimulation by Partition Refinement
de réir: Jan Friso Groote, et al.
Foilsithe / Cruthaithe: (2023-05-01)

Relating coalgebraic notions of bisimulation
de réir: Sam Staton
Foilsithe / Cruthaithe: (2011-03-01)

Bisimulations for Delimited-Control Operators
de réir: Dariusz Biernacki, et al.
Foilsithe / Cruthaithe: (2019-05-01)

Words and bisimulations of dynamical systems
de réir: Thomas Brihaye
Foilsithe / Cruthaithe: (2007-01-01)

Words and bisimulations of dynamical systems
de réir: Thomas Brihaye
Foilsithe / Cruthaithe: (2007-05-01)

Logical Characterization of Bisimulation Metrics
de réir: Valentina Castiglioni, et al.
Foilsithe / Cruthaithe: (2016-10-01)

Coherent branching feature bisimulation
de réir: Tessa Belder, et al.
Foilsithe / Cruthaithe: (2015-04-01)

Bisimulation for component-based development
de réir: Elsa Clara Estévez, et al.
Foilsithe / Cruthaithe: (2002-05-01)

Bisimulation in Inquisitive Modal Logic
de réir: Ivano Ciardelli, et al.
Foilsithe / Cruthaithe: (2017-07-01)

Nash equilibrium seeking with prescribed performance
de réir: Sun, Chao, et al.
Foilsithe / Cruthaithe: (2024)

Learning, Hypothesis Testing, and Nash Equilibrium.
de réir: Foster, D, et al.
Foilsithe / Cruthaithe: (2003)

On the complexity of approximating a nash equilibrium
de réir: Daskalakis, Constantinos
Foilsithe / Cruthaithe: (2012)

Steady state learning and Nash equilibrium
de réir: Fudenberg, Drew, et al.
Foilsithe / Cruthaithe: (2011)

Learning Hypothesis Testing and Nash Equilibrium.
de réir: Young, P
Foilsithe / Cruthaithe: (2002)

Methods for Solving Generalized Nash Equilibrium
de réir: Biao Qu, et al.
Foilsithe / Cruthaithe: (2013-01-01)

Uniqueness of Nash equilibrium in vaccination games
de réir: Fan Bai
Foilsithe / Cruthaithe: (2016-01-01)

Quantum gambling based on Nash-equilibrium
de réir: Pei Zhang, et al.
Foilsithe / Cruthaithe: (2017-06-01)