From the 1 of 10 linked papers with an AI index.
10 papers
Analyzing the Interaction of Optimal Strategies in Mean-Payoff Bidding Games
Shaull Almagor, Guy Avni, Julian Ewaied
A common assumption when designing an agent in a multi-agent system is that the other agents behave adversarially. This allows a designer to obtain the strongest guarantees when th…
Multi-Player Discrete-Bidding Games; Determinacy, Equilibria, and Complexity
Guy Avni, Fatima Murra
The paper introduces and analyzes multi-player discrete-bidding games on graphs, proving determinacy and the existence of pure Nash equilibria, and showing that deciding the winnin…
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…
Games on Graphs: From Logic and Automata to Algorithms
Nathanaël Fijalkow, C. Aiswarya, Guy Avni +22
The objective of this book is to give a comprehensive presentation of the research field concerned with infinite duration games on graphs. Historically, these game models appeared…
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…