Multi-player games with LDL goals over finite traces

Multi-player games with LDL goals over finite traces

Linear Dynamic Logic on finite traces (LDLF) is a powerful logic for reasoning about the behaviour of concurrent and multi-agent systems. In this paper, we investigate techniques for both the characterisation and verification of equilibria in multi-player games with goals/objectives expressed using...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Gutierrez, J, Perelli, G, Wooldridge, M
Formáid:	Journal article
Teanga:	English
Foilsithe / Cruthaithe:	Elsevier 2019

Míreanna comhchosúla

Iterated games with LDL goals over finite traces
de réir: Gutierrez, J, et al.
Foilsithe / Cruthaithe: (2017)

Iterated games with LDL goals
de réir: Gutierrez, J, et al.
Foilsithe / Cruthaithe: (2017)

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

Local equilibria in logic-based multi-player games
de réir: Gutierrez, J, et al.
Foilsithe / Cruthaithe: (2018)

Imperfect information in reactive modules games
de réir: Gutierrez, J, et al.
Foilsithe / Cruthaithe: (2016)

Imperfect information in Reactive Modules games
de réir: Gutierrez, J, et al.
Foilsithe / Cruthaithe: (2018)

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

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)

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

Rational verification: game-theoretic verification of multi-agent systems
de réir: Abate, A, et al.
Foilsithe / Cruthaithe: (2021)

Features of goal kicks by football players in games of high-level teams
de réir: Andrii Pertsukhov, et al.
Foilsithe / Cruthaithe: (2020-02-01)

Traces of powers of matrices over finite fields
de réir: Gorodetsky, O, et al.
Foilsithe / Cruthaithe: (2021)

Features of effective goal shots by football players in games of high level teams.
de réir: Andrii Pertsukhov, et al.
Foilsithe / Cruthaithe: (2020-05-01)

A q-player impartial avoidance game for generating finite groups
de réir: Benesh, Bret J, et al.
Foilsithe / Cruthaithe: (2021)

Multi-player equilibria verification for concurrent stochastic games
de réir: Kwiatkowska, M, et al.
Foilsithe / Cruthaithe: (2020)

Cooperative Concurrent Games
de réir: Gutierrez, J, et al.
Foilsithe / Cruthaithe: (2019)

Equilibria of concurrent games on event structures
de réir: Gutierrez, J, et al.
Foilsithe / Cruthaithe: (2014)

On computational tractability for rational verification
de réir: Gutierrez, J, et al.
Foilsithe / Cruthaithe: (2019)

On the complexity of rational verification
de réir: Gutierrez, J, et al.
Foilsithe / Cruthaithe: (2022)

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

Finite traces and representations of the group of infinite matrices over a finite field
de réir: Gorin, Vadim, et al.
Foilsithe / Cruthaithe: (2018)

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

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

The multi-player performance-enhancing drug game.
de réir: Kjetil K Haugen, et al.
Foilsithe / Cruthaithe: (2013-01-01)

Individualized initiation of statin therapy determined by baseline LDL-C: Are you more likely to achieve goal LDL-C?
de réir: James R Clem, et al.
Foilsithe / Cruthaithe: (2009-12-01)

Iterated Boolean games
de réir: Gutierrez, J, et al.
Foilsithe / Cruthaithe: (2015)

Iterated Boolean games
de réir: Gutierrez, J, et al.
Foilsithe / Cruthaithe: (2013)

Iterated Boolean games for rational verification
de réir: Gutierrez, J, et al.
Foilsithe / Cruthaithe: (2017)

Evaluation of LDL goal achievement in statin consumption, south east of Iran
de réir: Malihe Aghasizadeh, et al.
Foilsithe / Cruthaithe: (2021-05-01)

Transformations of Multi-Player Normal form Games by Preplay Offers between Players
de réir: Valentin Goranko
Foilsithe / Cruthaithe: (2022-02-01)

Building Individual Player Performance Profiles According to Pre-Game Expectations and Goal Difference in Soccer
de réir: Arian Skoki, et al.
Foilsithe / Cruthaithe: (2024-03-01)

Goal Format in Small-Sided Soccer Games: Technical Actions and Offensive Scenarios of Prepubescent Players
de réir: Craig Pulling, et al.
Foilsithe / Cruthaithe: (2016-11-01)

‘Four goals for three players’: using 3 vs. 3 small-sided games at school
de réir: Carlos Evangelio, et al.
Foilsithe / Cruthaithe: (2019-07-01)

Mean-payoff games with ω-regular specifications
de réir: Gutierrez, J, et al.
Foilsithe / Cruthaithe: (2022)

Cooperative concurrent games
de réir: Gutierrez, J, et al.
Foilsithe / Cruthaithe: (2022)

Co-located multi-player cooperative mobile gaming
de réir: Ong, Samuel Jing Siang
Foilsithe / Cruthaithe: (2024)

Co-located multi-player competitive mobile gaming
de réir: Lai, Ivan Mun Khoi
Foilsithe / Cruthaithe: (2024)

SanguoTactics : an internet-based multi-player game
de réir: Chen, Zongjie.
Foilsithe / Cruthaithe: (2009)

PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives
de réir: Kwiatkowska, M, et al.
Foilsithe / Cruthaithe: (2017)