10 citations · 22 across the 18 of their papers we have counts for
Showing 2026Show all
3 papers · 1 filter
cs.GT2026
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…
cs.GT2026
Multi-Player Discrete-Bidding Games; Determinacy, Equilibria, and Complexity
Guy Avni, Fatima Murra
Games on graphs constitute a fundamental model. Applications include reactive synthesis, which reduces to solving a zero-sum two-player game, and reasoning about multi-agent system…
cs.FL2026★ 1 cited
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 in…