1 citations · 1 across the 1 of their papers we have counts for
4 papers
Decoupled Planning for Multiple Omega-Regular Objectives
Guy Avni, Thomas A. Henzinger, Kaushik Mallik +2
We study the problem of generating paths on a graph that satisfy a collection of Ï-regular objectives. We propose a decoupled framework in which each objective is assigned to an i…
Mean-payoff and Energy Discrete Bidding Games
Guy Avni, Suman Sadhukhan
A \emph{bidding} game is played on a graph as follows. A token is placed on an initial vertex and both players are allocated budgets. In each turn, the players simultaneously submi…
Computing Threshold Budgets in Discrete-Bidding Games
Guy Avni, Suman Sadhukhan
In a two-player zero-sum graph game, the players move a token throughout a graph to produce an infinite play, which determines the winner of the game. Bidding games are graph games…
Bidding Games on Markov Decision Processes with Quantitative Reachability Objectives
Guy Avni, Martin KureÄka, Kaushik Mallik +2
Graph games are fundamental in strategic reasoning of multi-agent systems and their environments. We study a new family of graph games which combine stochastic environmental uncert…