10 citations · 22 across the 18 of their papers we have counts for
25 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
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…
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…
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…
Interactive Explanations for Reinforcement-Learning Agents
Yotam Amitai, Ofra Amir, Guy Avni
As reinforcement learning methods increasingly amass accomplishments, the need for comprehending their solutions becomes more crucial. Most explainable reinforcement learning (XRL)…
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…