This paper contains several results regarding the communication complexity model and the 2-prover games model, which are based on interaction between the two models:
Modern computer games show potential not just for engaging and entertaining users, but also in promoting learning. Game designers employ a range of techniques to promote long-term ...
We present tropical games, a generalization of combinatorial min-max games based on tropical algebras. Our model breaks the traditional symmetry of rational zero-sum games where pl...
In this paper we demonstrate how a qualitative framework for decision making can be used to model scenarios from experimental economic studies and we show how our approach explains...
Trevor J. M. Bench-Capon, Katie Atkinson, Peter Mc...
We develop a framework to study differentiated services when there are competing network providers. We adopt a multi-class queueing model, where providers post prices for various s...