activity
20142024
most citedTowards Foundations of Categorical Cybernetics

22 citations · 103 across the 26 of their papers we have counts for

collaborators
Showing cs.GTShow all

13 papers · 1 filter

cs.GT2021★ 1 cited

Composing games into complex institutions

Seth Frey, Jules Hedges, Joshua Tan +1

Game theory is used by all behavioral sciences, but its development has long centered around tools for relatively simple games and toy systems, such as the economic interpretation…

cs.GT2020

Compositional modelling of network games

Elena Di Lavore, Jules Hedges, Paweł Sobociński

The analysis of games played on graph-like structures is of increasing importance due to the prevalence of social networks, both virtual and physical, in our daily life. As well as…

cs.GT2019★ 7 cited

Bayesian open games

Joe Bolt, Jules Hedges, Philipp Zahn

This paper generalises the treatment of compositional game theory as introduced by Ghani et al. in 2018, where games are modelled as morphisms of a symmetric monoidal category. Fro…

cs.GT2019

The game semantics of game theory

Jules Hedges

We use a reformulation of compositional game theory to reunite game theory with game semantics, by viewing an open game as the System and its choice of contexts as the Environment.…

cs.GT2018★ 2 cited

Sequential games and nondeterministic selection functions

Joe Bolt, Jules Hedges, Philipp Zahn

This paper analyses Escardó and Oliva's generalisation of selection functions over a strong monad from a game-theoretic perspective. We focus on the case of the nondeterminism (fin…

cs.GT2018★ 5 cited

Backward Induction for Repeated Games

Jules Hedges

We present a method of backward induction for computing approximate subgame perfect Nash equilibria of infinitely repeated games with discounted payoffs. This uses the selection mo…

cs.GT2018

The algebra of predicting agents

Joe Bolt, Jules Hedges, Viktor Winschel

The category of open games, which provides a strongly compositional foundation of economic game theory, is intermediate between symmetric monoidal and compact closed. More precisel…

cs.GT2017

Morphisms of open games

Jules Hedges

We define a notion of morphisms between open games, exploiting a surprising connection between lenses in computer science and compositional game theory. This extends the more intui…

cs.GT2016★ 4 cited

Compositionality and String Diagrams for Game Theory

Jules Hedges, Evguenia Shprits, Viktor Winschel +1

We introduce string diagrams as a formal mathematical, graphical language to represent, compose, program and reason about games. The language is well established in quantum physics…

cs.GT2016

Compositional game theory

Neil Ghani, Jules Hedges, Viktor Winschel +1

We introduce open games as a compositional foundation of economic game theory. A compositional approach potentially allows methods of game theory and theoretical computer science t…

cs.GT2015

Higher-Order Decision Theory

Jules Hedges, Paulo Oliva, Evguenia Sprits +2

Classical decision theory models behaviour in terms of utility maximisation where utilities represent rational preference relations over outcomes. However, empirical evidence and t…

cs.GT2015★ 2 cited

Higher-Order Game Theory

Jules Hedges, Paulo Oliva, Evguenia Sprits +2

In applied game theory the motivation of players is a key element. It is encoded in the payoffs of the game form and often based on utility functions. But there are cases were form…

cs.GT2015★ 1 cited

String diagrams for game theory

Jules Hedges

This paper presents a monoidal category whose morphisms are games (in the sense of game theory, not game semantics) and an associated diagrammatic language. The two basic operation…