| 2026 | CAV | Decoupled Planning for Multiple Omega-Regular Objectives. | Guy Avni, Thomas A. Henzinger, Kaushik Mallik, Suman Sadhukhan, K. S. Thejaswini |
| 2026 | CSL | Mean-Payoff and Energy Discrete-Bidding Games. | Guy Avni, Suman Sadhukhan |
| 2024 | CONCUR | Bidding Games with Charging. | Guy Avni, Ehsan Kafshdar Goharshady, Thomas A. Henzinger, Kaushik Mallik |
| 2024 | FOSSACS | Dimension-Minimality and Primality of Counter Nets. | Shaull Almagor, Guy Avni, Henry Sinclair-Banks, Asaf Yeshurun |
| 2024 | TACAS | Auction-Based Scheduling. | Guy Avni, Kaushik Mallik, Suman Sadhukhan |
| 2023 | AAAI | Bidding Graph Games with Partially-Observable Budgets. | Guy Avni, Ismal Jecker, Dorde Zikelic |
| 2023 | CONCUR | A Game of Pawns. | Guy Avni, Pranav Ghorpade, Shibashis Guha |
| 2023 | ECAI | Reachability Poorman Discrete-Bidding Games. | Guy Avni, Tobias Meggendorfer, Suman Sadhukhan, Josef Tkadlec, Dorde Zikelic |
| 2022 | MFCS | An Updated Survey of Bidding Games on Graphs (Invited Talk). | Guy Avni, Thomas A. Henzinger |
| 2021 | SODA | Infinite-Duration All-Pay Bidding Games. | Guy Avni, Ismal Jecker, Dorde Zikelic |
| 2020 | AAAI | All-Pay Bidding Games on Graphs. | Guy Avni, Rasmus Ibsen-Jensen, Josef Tkadlec |
| 2020 | CONCUR | A Survey of Bidding Games on Graphs (Invited Paper). | Guy Avni, Thomas A. Henzinger |
| 2020 | FMCAD | Formal Methods with a Touch of Magic. | Parand Alizadeh Alamdari, Guy Avni, Thomas A. Henzinger, Anna Lukina |
| 2019 | CAV | Run-Time Optimization for Learned Controllers Through Quantitative Games. | Guy Avni, Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Bettina Knighofer, Stefan Pranger |
| 2019 | CONCUR | Determinacy in Discrete-Bidding Infinite-Duration Games. | Milad Aghajohari, Guy Avni, Thomas A. Henzinger |
| 2019 | MFCS | Bidding Mechanisms in Graph Games. | Guy Avni, Thomas A. Henzinger, Dorde Zikelic |
| 2018 | MFCS | Timed Network Games with Clocks. | Guy Avni, Shibashis Guha, Orna Kupferman |
| 2017 | CONCUR | Infinite-Duration Bidding Games. | Guy Avni, Thomas A. Henzinger, Ventsislav Chonev |
| 2017 | IJCAI | An Abstraction-Refinement Methodology for Reasoning about Network Games. | Guy Avni, Shibashis Guha, Orna Kupferman |
| 2017 | MFCS | Timed Network Games. | Guy Avni, Shibashis Guha, Orna Kupferman |
| 2017 | TACAS | Computing Scores of Forwarding Schemes in Switched Networks with Probabilistic Faults. | Guy Avni, Shubham Goel, Thomas A. Henzinger, Guillermo Rodrguez-Navas |
| 2016 | EMSOFT | Synthesizing time-triggered schedules for switched networks with faulty links. | Guy Avni, Shibashis Guha, Guillermo Rodrguez-Navas |
| 2016 | SAGT | Dynamic Resource Allocation Games. | Guy Avni, Thomas A. Henzinger, Orna Kupferman |
| 2015 | CONCUR | Repairing Multi-Player Games. | Shaull Almagor, Guy Avni, Orna Kupferman |
| 2015 | MFCS | Stochastization of Weighted Automata. | Guy Avni, Orna Kupferman |
| 2015 | SAGT | Cost-Sharing Scheduling Games on Restricted Unrelated Machines. | Guy Avni, Tami Tamir |
| 2014 | CADE | From Reachability to Temporal Specifications in Cost-Sharing Games. | Guy Avni, Orna Kupferman, Tami Tamir |
| 2014 | CONCUR | Synthesis from Component Libraries with Costs. | Guy Avni, Orna Kupferman |
| 2014 | FOSSACS | Network-Formation Games with Regular Objectives. | Guy Avni, Orna Kupferman, Tami Tamir |
| 2013 | CAV | Automatic Generation of Quality Specifications. | Shaull Almagor, Guy Avni, Orna Kupferman |
| 2013 | FOSSACS | Parameterized Weighted Containment. | Guy Avni, Orna Kupferman |
| 2012 | CONCUR | Making Weighted Containment Feasible: A Heuristic Based on Simulation and Abstraction. | Guy Avni, Orna Kupferman |
| 2011 | SAS | An Abstraction-Refinement Framework for Trigger Querying. | Guy Avni, Orna Kupferman |