57 citations · 208 across the 27 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.GT2017
A Compositional Treatment of Iterated Open Games
Neil Ghani, Clemens Kupke, Alasdair Lambert +1
Compositional Game Theory is a new, recently introduced model of economic games based upon the computer science idea of compositionality. In it, complex and irregular games can be…
cs.LO2017★ 2 cited
Parity Games and Automata for Game Logic (Extended Version)
Helle Hvid Hansen, Clemens Kupke, Johannes Marti +1
Parikh's game logic is a PDL-like fixpoint logic interpreted on monotone neighbourhood frames that represent the strategic power of players in determined two-player games. Game log…