Guy Avni

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 52

Top Topics

Weighted Majority

Nash Equilibria

Dynamic Resource Allocation

Top Venues

Theor. Comput. Sci.

Publications

Guy Avni, Ehsan Kafshdar Goharshady, Thomas A. Henzinger, Kaushik Mallik
Bidding Games with Charging. CONCUR (2024)
Shaull Almagor, Guy Avni, Henry Sinclair-Banks, Asaf Yeshurun
Dimension-Minimality and Primality of Counter Nets. FoSSaCS (2) (2024)
Yotam Amitai, Ofra Amir, Guy Avni
ASQ-IT: Interactive explanations for reinforcement-learning agents. Artif. Intell. 335 (2024)
Guy Avni, Ehsan Kafshdar Goharshady, Thomas A. Henzinger, Kaushik Mallik
Bidding Games with Charging. CoRR (2024)
Florent Delgrange, Guy Avni, Anna Lukina, Christian Schilling, Ann Nowé, Guillermo A. Pérez
Synthesis of Hierarchical Controllers Based on Deep Reinforcement Learning Policies. CoRR (2024)
Guy Avni, Kaushik Mallik, Suman Sadhukhan
Auction-Based Scheduling. TACAS (3) (2024)
Yotam Amitai, Guy Avni, Ofra Amir
ASQ-IT: Interactive Explanations for Reinforcement-Learning Agents. CoRR (2023)
Guy Avni, Shibashis Guha, Orna Kupferman
Timed network games. Inf. Comput. 290 (2023)
Guy Avni, Pranav Ghorpade, Shibashis Guha
A Game of Pawns. CONCUR (2023)
Shaull Almagor, Guy Avni, Henry Sinclair-Banks, Asaf Yeshurun
Dimension-Minimality and Primality of Counter Nets. CoRR (2023)
Guy Avni, Tobias Meggendorfer, Suman Sadhukhan, Josef Tkadlec, Dorde Zikelic
Reachability Poorman Discrete-Bidding Games. CoRR (2023)
Guy Avni, Ismaël Jecker, Dorde Zikelic
Bidding Graph Games with Partially-Observable Budgets. AAAI (2023)
Guy Avni, Tobias Meggendorfer, Suman Sadhukhan, Josef Tkadlec, Ðorde Zikelic
Reachability Poorman Discrete-Bidding Games. ECAI (2023)
Guy Avni, Pranav Ghorpade, Shibashis Guha
A Game of Pawns. CoRR (2023)
Guy Avni, Kaushik Mallik, Suman Sadhukhan
Auction-Based Scheduling. CoRR (2023)
Guy Avni, Ismaël Jecker, Djordje Zikelic
Bidding Graph Games with Partially-Observable Budgets. CoRR (2022)
Guy Avni, Suman Sadhukhan
Computing Threshold Budgets in Discrete-Bidding Games. CoRR (2022)
Guy Avni, Thomas A. Henzinger
An Updated Survey of Bidding Games on Graphs (Invited Talk). MFCS (2022)
Guy Avni, Suman Sadhukhan
Computing Threshold Budgets in Discrete-Bidding Games. FSTTCS (2022)
Milad Aghajohari, Guy Avni, Thomas A. Henzinger
Determinacy in Discrete-Bidding Infinite-Duration Games. Log. Methods Comput. Sci. 17 (1) (2021)
Guy Avni, Ismaël Jecker, Dorde Zikelic
Infinite-Duration All-Pay Bidding Games. SODA (2021)
Guy Avni, Thomas A. Henzinger, Dorde Zikelic
Bidding mechanisms in graph games. J. Comput. Syst. Sci. 119 (2021)
Guy Avni, Ismaël Jecker, Dorde Zikelic
Infinite-Duration All-Pay Bidding Games. CoRR (2020)
Parand Alizadeh Alamdari, Guy Avni, Thomas A. Henzinger, Anna Lukina
Formal Methods with a Touch of Magic. CoRR (2020)
Guy Avni, Rasmus Ibsen-Jensen, Josef Tkadlec
All-Pay Bidding Games on Graphs. AAAI (2020)
Guy Avni, Thomas A. Henzinger, Orna Kupferman
Dynamic resource allocation games. Theor. Comput. Sci. 807 (2020)
Parand Alizadeh Alamdari, Guy Avni, Thomas A. Henzinger, Anna Lukina
Formal Methods with a Touch of Magic. FMCAD (2020)
Guy Avni, Thomas A. Henzinger
A Survey of Bidding Games on Graphs (Invited Paper). CONCUR (2020)
Guy Avni, Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Bettina Könighofer, Stefan Pranger
Run-Time Optimization for Learned Controllers Through Quantitative Games. CAV (1) (2019)
Milad Aghajohari, Guy Avni, Thomas A. Henzinger
Determinacy in Discrete-Bidding Infinite-Duration Games. CONCUR (2019)
Guy Avni, Thomas A. Henzinger, Ventsislav Chonev
Infinite-duration Bidding Games. J. ACM 66 (4) (2019)
Guy Avni, Rasmus Ibsen-Jensen, Josef Tkadlec
All-Pay Bidding Games on Graphs. CoRR (2019)
Guy Avni, Thomas A. Henzinger, Dorde Zikelic
Bidding Mechanisms in Graph Games. MFCS (2019)
Milad Aghajohari, Guy Avni, Thomas A. Henzinger
Determinacy in Discrete-Bidding Infinite-Duration Games. CoRR (2019)
Guy Avni, Thomas A. Henzinger, Rasmus Ibsen-Jensen, Petr Novotný
Bidding Games on Markov Decision Processes. RP (2019)
Guy Avni, Thomas A. Henzinger, Dorde Zikelic
Bidding Mechanisms in Graph Games. CoRR (2019)
Guy Avni, Thomas A. Henzinger, Rasmus Ibsen-Jensen
Infinite-Duration Poorman-Bidding Games. WINE (2018)
Guy Avni, Shibashis Guha, Orna Kupferman
. Games 9 (3) (2018)
Guy Avni, Orna Kupferman
Synthesis from component libraries with costs. Theor. Comput. Sci. 712 (2018)
Guy Avni, Shibashis Guha, Orna Kupferman
Timed Network Games with Clocks. MFCS (2018)
Guy Avni, Shibashis Guha, Orna Kupferman
Timed Network Games with Clocks. CoRR (2018)
Guy Avni, Thomas A. Henzinger, Rasmus Ibsen-Jensen
Infinite-Duration Poorman-Bidding Games. CoRR (2018)
Guy Avni, Shibashis Guha, Orna Kupferman
An Abstraction-Refinement Methodology for Reasoning about Network Games. IJCAI (2017)
Guy Avni, Thomas A. Henzinger, Ventsislav Chonev
Infinite-Duration Bidding Games. CONCUR (2017)
Guy Avni, Shubham Goel, Thomas A. Henzinger, Guillermo Rodríguez-Navas
Computing Scores of Forwarding Schemes in Switched Networks with Probabilistic Faults. TACAS (2) (2017)
Guy Avni, Shubham Goel, Thomas A. Henzinger, Guillermo Rodríguez-Navas
Computing Scores of Forwarding Schemes in Switched Networks with Probabilistic Faults. CoRR (2017)
Guy Avni, Shibashis Guha, Orna Kupferman
Timed Network Games. MFCS (2017)
Guy Avni, Ventsislav Chonev, Thomas A. Henzinger
Infinite-Duration Bidding Games. CoRR (2017)
Guy Avni, Thomas A. Henzinger, Orna Kupferman
Dynamic Resource Allocation Games. SAGT (2016)
Guy Avni, Shibashis Guha, Guillermo Rodríguez-Navas
Synthesizing time-triggered schedules for switched networks with faulty links. EMSOFT (2016)
Guy Avni, Tami Tamir
Cost-sharing scheduling games on restricted unrelated machines. Theor. Comput. Sci. 646 (2016)
Guy Avni, Orna Kupferman, Tami Tamir
Network-formation games with regular objectives. Inf. Comput. 251 (2016)
Guy Avni, Tami Tamir
Cost-Sharing Scheduling Games on Restricted Unrelated Machines. SAGT (2015)
Guy Avni, Orna Kupferman
Stochastization of Weighted Automata. MFCS (1) (2015)
Guy Avni, Orna Kupferman, Tami Tamir
Congestion Games with Multisets of Resources and Applications in Synthesis. FSTTCS (2015)
Shaull Almagor, Guy Avni, Orna Kupferman
Repairing Multi-Player Games. CONCUR (2015)
Guy Avni, Orna Kupferman, Tami Tamir
Network-Formation Games with Regular Objectives. FoSSaCS (2014)
Guy Avni, Orna Kupferman
Parameterized Weighted Containment. ACM Trans. Comput. Log. 16 (1) (2014)
Guy Avni, Orna Kupferman
Synthesis from Component Libraries with Costs. CONCUR (2014)
Guy Avni, Orna Kupferman
An abstraction-refinement framework for trigger querying. Formal Methods Syst. Des. 44 (2) (2014)
Guy Avni, Orna Kupferman, Tami Tamir
From Reachability to Temporal Specifications in Cost-Sharing Games. IJCAR (2014)
Guy Avni, Orna Kupferman
Parameterized Weighted Containment. FoSSaCS (2013)
Guy Avni, Orna Kupferman
When does abstraction help? Inf. Process. Lett. 113 (22-24) (2013)
Shaull Almagor, Guy Avni, Orna Kupferman
Automatic Generation of Quality Specifications. CAV (2013)
Guy Avni, Orna Kupferman
Making Weighted Containment Feasible: A Heuristic Based on Simulation and Abstraction. CONCUR (2012)
Guy Avni, Orna Kupferman
An Abstraction-Refinement Framework for Trigger Querying. SAS (2011)