10 citations · 22 across the 18 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.LO2020★ 2 cited
Formal Methods with a Touch of Magic
Parand Alizadeh Alamdari, Guy Avni, Thomas A. Henzinger +1
Machine learning and formal methods have complimentary benefits and drawbacks. In this work, we address the controller-design problem with a combination of techniques from both fie…
econ.TH2020
Infinite-Duration All-Pay Bidding Games
Guy Avni, Ismaël Jecker, Đorđe Žikelić
In a two-player zero-sum graph game the players move a token throughout a graph to produce an infinite path, which determines the winner or payoff of the game. Traditionally, the p…