Making Weighted Containment Feasible: A Heuristic Based on Simulation and Abstraction. - Guy Avni; Orna Kupferman (CONCUR, 2012)

Automatic Generation of Quality Specifications. - Shaull Almagor; Guy Avni; Orna Kupferman (CAV, 2013)

When does abstraction help? - Guy Avni; Orna Kupferman (Inf. Process. Lett., 2013)

From Reachability to Temporal Specifications in Cost-Sharing Games. - Guy Avni; Orna Kupferman; Tami Tamir (IJCAR, 2014)

An abstraction-refinement framework for trigger querying. - Guy Avni; Orna Kupferman (Formal Methods Syst. Des., 2014)

Parameterized Weighted Containment. - Guy Avni; Orna Kupferman (ACM Trans. Comput. Log., 2014)

Repairing Multi-Player Games. - Shaull Almagor; Guy Avni; Orna Kupferman (CONCUR, 2015)

Congestion Games with Multisets of Resources and Applications in Synthesis. - Guy Avni; Orna Kupferman; Tami Tamir (FSTTCS, 2015)

Stochastization of Weighted Automata. - Guy Avni; Orna Kupferman (MFCS (1), 2015)

Synthesizing time-triggered schedules for switched networks with faulty links. - Guy Avni; Shibashis Guha; Guillermo Rodríguez-Navas (EMSOFT, 2016)

Network-formation games with regular objectives. - Guy Avni; Orna Kupferman; Tami Tamir (Inf. Comput., 2016)

Cost-sharing scheduling games on restricted unrelated machines. - Guy Avni; Tami Tamir (Theor. Comput. Sci., 2016)

Quantitative Formal Methods Meets Algorithmic Game Theory (שער נוסף בעברית: שיטות פורמליות כמותיות פוגשות את תורת המשחקים החישובית.). - Guy Avni (2016)

An Abstraction-Refinement Methodology for Reasoning about Network Games. - Guy Avni; Shibashis Guha; Orna Kupferman (IJCAI, 2017)

Computing Scores of Forwarding Schemes in Switched Networks with Probabilistic Faults. - Guy Avni; Shubham Goel 001; Thomas A. Henzinger; Guillermo Rodríguez-Navas (TACAS (2), 2017)

Timed Network Games with Clocks. - Guy Avni; Shibashis Guha; Orna Kupferman (MFCS, 2018)

Infinite-Duration Poorman-Bidding Games. - Guy Avni; Thomas A. Henzinger; Rasmus Ibsen-Jensen (WINE, 2018)

An Abstraction-Refinement Methodologyfor Reasoning about Network Games†. - Guy Avni; Shibashis Guha; Orna Kupferman (Games, 2018)

Synthesis from component libraries with costs. - Guy Avni; Orna Kupferman (Theor. Comput. Sci., 2018)

Run-Time Optimization for Learned Controllers Through Quantitative Games. - Guy Avni; Roderick Bloem; Krishnendu Chatterjee; Thomas A. Henzinger; Bettina Könighofer; Stefan Pranger (CAV (1), 2019)

Bidding Games on Markov Decision Processes. - Guy Avni; Thomas A. Henzinger; Rasmus Ibsen-Jensen; Petr Novotný 001 (RP, 2019)

Infinite-duration Bidding Games. - Guy Avni; Thomas A. Henzinger; Ventsislav Chonev (J. ACM, 2019)

All-Pay Bidding Games on Graphs. - Guy Avni; Rasmus Ibsen-Jensen; Josef Tkadlec (AAAI, 2020)

A Survey of Bidding Games on Graphs (Invited Paper). - Guy Avni; Thomas A. Henzinger (CONCUR, 2020)

Formal Methods with a Touch of Magic. - Parand Alizadeh Alamdari; Guy Avni; Thomas A. Henzinger; Anna Lukina (FMCAD, 2020)

Dynamic resource allocation games. - Guy Avni; Thomas A. Henzinger; Orna Kupferman (Theor. Comput. Sci., 2020)

Infinite-Duration All-Pay Bidding Games. - Guy Avni; Ismaël Jecker; Dorde Zikelic (SODA, 2021)

Bidding mechanisms in graph games. - Guy Avni; Thomas A. Henzinger; Dorde Zikelic (J. Comput. Syst. Sci., 2021)

Determinacy in Discrete-Bidding Infinite-Duration Games. - Milad Aghajohari; Guy Avni; Thomas A. Henzinger (Log. Methods Comput. Sci., 2021)

An Updated Survey of Bidding Games on Graphs (Invited Talk). - Guy Avni; Thomas A. Henzinger (MFCS, 2022)

Bidding Graph Games with Partially-Observable Budgets. - Guy Avni; Ismaël Jecker; Dorde Zikelic (AAAI, 2023)

Reachability Poorman Discrete-Bidding Games. - Guy Avni; Tobias Meggendorfer; Suman Sadhukhan; Josef Tkadlec; Dorde Zikelic (ECAI, 2023)

Timed network games. - Guy Avni; Shibashis Guha; Orna Kupferman (Inf. Comput., 2023)

Bidding Games with Charging. - Guy Avni; Ehsan Kafshdar Goharshady; Thomas A. Henzinger; Kaushik Mallik (CONCUR, 2024)

Dimension-Minimality and Primality of Counter Nets. - Shaull Almagor; Guy Avni; Henry Sinclair-Banks; Asaf Yeshurun (FoSSaCS (2), 2024)

Auction-Based Scheduling. - Guy Avni; Kaushik Mallik; Suman Sadhukhan (TACAS (3), 2024)

ASQ-IT: Interactive explanations for reinforcement-learning agents. - Yotam Amitai; Ofra Amir; Guy Avni (Artif. Intell., 2024)

Synthesis of Hierarchical Controllers Based on Deep Reinforcement Learning Policies. - Florent Delgrange; Guy Avni; Anna Lukina; Christian Schilling 001; Ann Nowé; Guillermo A. Pérez 001 (CoRR, 2024)

Robin Hood Reachability Bidding Games. - Shaull Almagor; Guy Avni; Neta Dafni (AAMAS, 2025)

Bidding Games on Markov Decision Processes with Quantitative Reachability Objectives. - Guy Avni; Martin Kurecka; Kaushik Mallik; Petr Novotný 001; Suman Sadhukhan (AAMAS, 2025)

Composing Reinforcement Learning Policies, with Formal Guarantees. - Florent Delgrange; Guy Avni; Anna Lukina; Christian Schilling 001; Ann Nowé; Guillermo A. Pérez 001 (AAMAS, 2025)

A Game of Pawns. - Guy Avni; Pranav Ghorpade; Shibashis Guha (Log. Methods Comput. Sci., 2025)

Computing Threshold Budgets in Discrete-Bidding Games. - Guy Avni; Suman Sadhukhan (TheoretiCS, 2025)

Interactive Explanations for Reinforcement-Learning Agents. - Yotam Amitai; Ofra Amir; Guy Avni (CoRR, 2025)