no code implementations • 19 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.
no code implementations • 12 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.
no code implementations • 25 May 2020 • Parand Alizadeh Alamdari, Guy Avni, Thomas A. Henzinger, Anna Lukina
Machine learning and formal methods have complimentary benefits and drawbacks.
no code implementations • 24 Jan 2023 • Yotam Amitai, Guy Avni, Ofra Amir
As reinforcement learning methods increasingly amass accomplishments, the need for comprehending their solutions becomes more crucial.
no code implementations • 27 Jul 2023 • Guy Avni, Tobias Meggendorfer, Suman Sadhukhan, Josef Tkadlec, Đorđe Žikelić
We consider, for the first time, {\em poorman discrete-bidding} in which the granularity of the bids is restricted and the higher bid is paid to the bank.
no code implementations • 18 Oct 2023 • Guy Avni, Kaushik Mallik, Suman Sadhukhan
Policies express their scheduling urgency using their bids and the bounded budgets ensure long-run scheduling fairness.
no code implementations • 21 Feb 2024 • Florent Delgrange, Guy Avni, Anna Lukina, Christian Schilling, Ann Nowé, Guillermo A. Pérez
We propose a novel approach to the problem of controller design for environments modeled as Markov decision processes (MDPs).