The objective of this collaborative textbook is to present the state of ...
Interprocedural data-flow analyses form an expressive and useful paradig...
The main result of this paper is that computing the value of a one-clock...
In this paper we introduce and study all-pay bidding games, a class of
...
Crypto-currencies are digital assets designed to work as a medium of
exc...
In two-player games on graphs, the players move a token through a graph ...
Evolutionary graph theory studies the evolutionary dynamics in a populat...
We consider the problem of minimizing the regret in stochastic multi-arm...