10 citations · 22 across the 18 of their papers we have counts for
3 papers · 1 filter
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…
Robin Hood Reachability Bidding Games
Shaull Almagor, Guy Avni, Neta Dafni
Two-player graph games are a fundamental model for reasoning about the interaction of agents. These games are played between two players who move a token along a graph. In bidding…
Bidding Games with Charging
Guy Avni, Ehsan Kafshdar Goharshady, Thomas A. Henzinger +1
Graph games lie at the algorithmic core of many automated design problems in computer science. These are games usually played between two players on a given graph, where the player…