Search Results for author: Guy Avni

Found 3 papers, 0 papers with code

Formal Methods with a Touch of Magic

no code implementations25 May 2020 Parand Alizadeh Alamdari, Guy Avni, Thomas A. Henzinger, Anna Lukina

Machine learning and formal methods have complimentary benefits and drawbacks.

Infinite-Duration All-Pay Bidding Games

no code implementations12 May 2020 Guy Avni, Ismaël Jecker, Đorđe Žikelić

In {\em bidding games}, however, the players have budgets, and in each turn, we hold an "auction" (bidding) to determine which player moves the token: both players simultaneously submit bids and the higher bidder moves the token.

All-Pay Bidding Games on Graphs

no code implementations19 Nov 2019 Guy Avni, Rasmus Ibsen-Jensen, Josef Tkadlec

On the positive side, we show a simple FPTAS for DAGs, that, for each budget ratio, outputs an approximation for the optimal strategy for that ratio.

Cannot find the paper you are looking for? You can Submit a new open access paper.