research
∙
05/17/2023
Games on Graphs
The objective of this collaborative textbook is to present the state of ...
share
research
∙
01/29/2020
Optimal and Perfectly Parallel Algorithms for On-demand Data-flow Analysis
Interprocedural data-flow analyses form an expressive and useful paradig...
research
∙
01/13/2020
One-Clock Priced Timed Games are PSPACE-hard
The main result of this paper is that computing the value of a one-clock...
research
∙
11/19/2019
All-Pay Bidding Games on Graphs
In this paper we introduce and study all-pay bidding games, a class of ...
research
∙
06/08/2018
Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies
Crypto-currencies are digital assets designed to work as a medium of exc...
research
∙
04/12/2018
Infinite-Duration Poorman-Bidding Games
In two-player games on graphs, the players move a token through a graph ...
research
∙
06/21/2017
Faster Monte-Carlo Algorithms for Fixation Probability of the Moran Process on Undirected Graphs
Evolutionary graph theory studies the evolutionary dynamics in a populat...
research
∙
05/05/2014