6 citations · 15 across the 7 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.FL2017★ 1 cited
Trading Bounds for Memory in Games with Counters
Nathanaël Fijalkow, Florian Horn, Denis Kuperberg +1
We study two-player games with counters, where the objective of the first player is that the counter values remain bounded. We investigate the existence of a trade-off between the…
cs.FL2017★ 1 cited
Soundness in negotiations
Javier Esparza, Denis Kuperberg, Anca Muscholl +1
Negotiations are a formalism for describing multiparty distributed cooperation. Alternatively, they can be seen as a model of concurrency with synchronized choice as communication…