Guy Avni

78 papers A* 5A 5B 19Misc 1Journal 37Unranked 9
YearRankTypeTitle / Venue / Authors
2026 B conf
Mean-Payoff and Energy Discrete-Bidding Games.
CSL
Guy Avni, Suman Sadhukhan
2025 J jnl
A Game of Pawns.
Log. Methods Comput. Sci.
Guy Avni, Pranav Ghorpade, Shibashis Guha
2025 A conf
Bidding Games on Markov Decision Processes with Quantitative Reachability Objectives.
AAMAS
Guy Avni, Martin Kurecka, Kaushik Mallik, Petr Novotný, Suman Sadhukhan
2025 A conf
Composing Reinforcement Learning Policies, with Formal Guarantees.
AAMAS
Florent Delgrange, Guy Avni, Anna Lukina, Christian Schilling, Ann Nowé, Guillermo A. Pérez
2025 J jnl
Computing Threshold Budgets in Discrete-Bidding Games.
TheoretiCS
Guy Avni, Suman Sadhukhan
2025 J jnl
Interactive Explanations for Reinforcement-Learning Agents.
CoRR
Yotam Amitai, Ofra Amir, Guy Avni
2025 J jnl
Mean-payoff and Energy Discrete Bidding Games.
CoRR
Guy Avni, Suman Sadhukhan
2025 A conf
Robin Hood Reachability Bidding Games.
AAMAS
Shaull Almagor, Guy Avni, Neta Dafni
2024 — ed.
AI Verification - First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22-23, 2024, Proceedings
SAIV
Guy Avni, Mirco Giacobbe, Taylor T. Johnson, Guy Katz, Anna Lukina, Nina Narodytska, Christian Schilling
2024 J jnl
ASQ-IT: Interactive explanations for reinforcement-learning agents.
Artif. Intell.
Yotam Amitai, Ofra Amir, Guy Avni
2024 — conf
Auction-Based Scheduling.
TACAS (3)
Guy Avni, Kaushik Mallik, Suman Sadhukhan
2024 J jnl
Bidding Games on Markov Decision Processes with Quantitative Reachability Objectives.
CoRR
Guy Avni, Martin Kurecka, Kaushik Mallik, Petr Novotný, Suman Sadhukhan
2024 B conf
Bidding Games with Charging.
CONCUR
Guy Avni, Ehsan Kafshdar Goharshady, Thomas A. Henzinger, Kaushik Mallik
2024 J jnl
Bidding Games with Charging.
CoRR
Guy Avni, Ehsan Kafshdar Goharshady, Thomas A. Henzinger, Kaushik Mallik
2024 — conf
Dimension-Minimality and Primality of Counter Nets.
FoSSaCS (2)
Shaull Almagor, Guy Avni, Henry Sinclair-Banks, Asaf Yeshurun
2024 J jnl
Robin Hood Reachability Bidding Games.
CoRR
Shaull Almagor, Guy Avni, Neta Dafni
2024 J jnl
Synthesis of Hierarchical Controllers Based on Deep Reinforcement Learning Policies.
CoRR
Florent Delgrange, Guy Avni, Anna Lukina, Christian Schilling, Ann Nowé, Guillermo A. Pérez
2023 B conf
A Game of Pawns.
CONCUR
Guy Avni, Pranav Ghorpade, Shibashis Guha
2023 J jnl
A Game of Pawns.
CoRR
Guy Avni, Pranav Ghorpade, Shibashis Guha
2023 J jnl
ASQ-IT: Interactive Explanations for Reinforcement-Learning Agents.
CoRR
Yotam Amitai, Guy Avni, Ofra Amir
2023 J jnl
Auction-Based Scheduling.
CoRR
Guy Avni, Kaushik Mallik, Suman Sadhukhan
2023 A* conf
Bidding Graph Games with Partially-Observable Budgets.
AAAI
Guy Avni, Ismaël Jecker, Dorde Zikelic
2023 J jnl
Dimension-Minimality and Primality of Counter Nets.
CoRR
Shaull Almagor, Guy Avni, Henry Sinclair-Banks, Asaf Yeshurun
2023 A conf
Reachability Poorman Discrete-Bidding Games.
ECAI
Guy Avni, Tobias Meggendorfer, Suman Sadhukhan, Josef Tkadlec, Dorde Zikelic
2023 J jnl
Reachability Poorman Discrete-Bidding Games.
CoRR
Guy Avni, Tobias Meggendorfer, Suman Sadhukhan, Josef Tkadlec, Dorde Zikelic
2023 J jnl
Timed network games.
Inf. Comput.
Guy Avni, Shibashis Guha, Orna Kupferman
2022 B conf
An Updated Survey of Bidding Games on Graphs (Invited Talk).
MFCS
Guy Avni, Thomas A. Henzinger
2022 J jnl
Bidding Graph Games with Partially-Observable Budgets.
CoRR
Guy Avni, Ismaël Jecker, Dorde Zikelic
2022 — conf
Computing Threshold Budgets in Discrete-Bidding Games.
FSTTCS
Guy Avni, Suman Sadhukhan
2022 J jnl
Computing Threshold Budgets in Discrete-Bidding Games.
CoRR
Guy Avni, Suman Sadhukhan
2021 J jnl
Bidding mechanisms in graph games.
J. Comput. Syst. Sci.
Guy Avni, Thomas A. Henzinger, Dorde Zikelic
2021 J jnl
Determinacy in Discrete-Bidding Infinite-Duration Games.
Log. Methods Comput. Sci.
Milad Aghajohari, Guy Avni, Thomas A. Henzinger
2021 A* conf
Infinite-Duration All-Pay Bidding Games.
SODA
Guy Avni, Ismaël Jecker, Dorde Zikelic
2020 B conf
A Survey of Bidding Games on Graphs (Invited Paper).
CONCUR
Guy Avni, Thomas A. Henzinger
2020 A* conf
All-Pay Bidding Games on Graphs.
AAAI
Guy Avni, Rasmus Ibsen-Jensen, Josef Tkadlec
2020 J jnl
Dynamic resource allocation games.
Theor. Comput. Sci.
Guy Avni, Thomas A. Henzinger, Orna Kupferman
2020 B conf
Formal Methods with a Touch of Magic.
FMCAD
Parand Alizadeh Alamdari, Guy Avni, Thomas A. Henzinger, Anna Lukina
2020 J jnl
Formal Methods with a Touch of Magic.
CoRR
Parand Alizadeh Alamdari, Guy Avni, Thomas A. Henzinger, Anna Lukina
2020 J jnl
Infinite-Duration All-Pay Bidding Games.
CoRR
Guy Avni, Ismaël Jecker, Dorde Zikelic
2019 J jnl
All-Pay Bidding Games on Graphs.
CoRR
Guy Avni, Rasmus Ibsen-Jensen, Josef Tkadlec
2019 — conf
Bidding Games on Markov Decision Processes.
RP
Guy Avni, Thomas A. Henzinger, Rasmus Ibsen-Jensen, Petr Novotný
2019 B conf
Bidding Mechanisms in Graph Games.
MFCS
Guy Avni, Thomas A. Henzinger, Dorde Zikelic
2019 J jnl
Bidding Mechanisms in Graph Games.
CoRR
Guy Avni, Thomas A. Henzinger, Dorde Zikelic
2019 B conf
Determinacy in Discrete-Bidding Infinite-Duration Games.
CONCUR
Milad Aghajohari, Guy Avni, Thomas A. Henzinger
2019 J jnl
Determinacy in Discrete-Bidding Infinite-Duration Games.
CoRR
Milad Aghajohari, Guy Avni, Thomas A. Henzinger
2019 J jnl
Infinite-duration Bidding Games.
J. ACM
Guy Avni, Thomas A. Henzinger, Ventsislav Chonev
2019 — conf
Run-Time Optimization for Learned Controllers Through Quantitative Games.
CAV (1)
Guy Avni, Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Bettina Könighofer, Stefan Pranger
2018 J jnl
An Abstraction-Refinement Methodologyfor Reasoning about Network Games
Games
Guy Avni, Shibashis Guha, Orna Kupferman
2018 — conf
Infinite-Duration Poorman-Bidding Games.
WINE
Guy Avni, Thomas A. Henzinger, Rasmus Ibsen-Jensen
2018 J jnl
Infinite-Duration Poorman-Bidding Games.
CoRR
Guy Avni, Thomas A. Henzinger, Rasmus Ibsen-Jensen
2018 J jnl
Synthesis from component libraries with costs.
Theor. Comput. Sci.
Guy Avni, Orna Kupferman
2018 B conf
Timed Network Games with Clocks.
MFCS
Guy Avni, Shibashis Guha, Orna Kupferman
2018 J jnl
Timed Network Games with Clocks.
CoRR
Guy Avni, Shibashis Guha, Orna Kupferman
2017 A* conf
An Abstraction-Refinement Methodology for Reasoning about Network Games.
IJCAI
Guy Avni, Shibashis Guha, Orna Kupferman
2017 — conf
Computing Scores of Forwarding Schemes in Switched Networks with Probabilistic Faults.
TACAS (2)
Guy Avni, Shubham Goel, Thomas A. Henzinger, Guillermo Rodríguez-Navas
2017 J jnl
Computing Scores of Forwarding Schemes in Switched Networks with Probabilistic Faults.
CoRR
Guy Avni, Shubham Goel, Thomas A. Henzinger, Guillermo Rodríguez-Navas
2017 B conf
Infinite-Duration Bidding Games.
CONCUR
Guy Avni, Thomas A. Henzinger, Ventsislav Chonev
2017 J jnl
Infinite-Duration Bidding Games.
CoRR
Guy Avni, Ventsislav Chonev, Thomas A. Henzinger
2017 B conf
Timed Network Games.
MFCS
Guy Avni, Shibashis Guha, Orna Kupferman
2016 J jnl
Cost-sharing scheduling games on restricted unrelated machines.
Theor. Comput. Sci.
Guy Avni, Tami Tamir
2016 B conf
Dynamic Resource Allocation Games.
SAGT
Guy Avni, Thomas A. Henzinger, Orna Kupferman
2016 J jnl
Network-formation games with regular objectives.
Inf. Comput.
Guy Avni, Orna Kupferman, Tami Tamir
2016 — —
Quantitative Formal Methods Meets Algorithmic Game Theory (שער נוסף בעברית: שיטות פורמליות כמותיות פוגשות את תורת המשחקים החישובית.).
Guy Avni
2016 Misc conf
Synthesizing time-triggered schedules for switched networks with faulty links.
EMSOFT
Guy Avni, Shibashis Guha, Guillermo Rodríguez-Navas
2015 — conf
Congestion Games with Multisets of Resources and Applications in Synthesis.
FSTTCS
Guy Avni, Orna Kupferman, Tami Tamir
2015 B conf
Cost-Sharing Scheduling Games on Restricted Unrelated Machines.
SAGT
Guy Avni, Tami Tamir
2015 B conf
Repairing Multi-Player Games.
CONCUR
Shaull Almagor, Guy Avni, Orna Kupferman
2015 — conf
Stochastization of Weighted Automata.
MFCS (1)
Guy Avni, Orna Kupferman
2014 J jnl
An abstraction-refinement framework for trigger querying.
Formal Methods Syst. Des.
Guy Avni, Orna Kupferman
2014 A conf
From Reachability to Temporal Specifications in Cost-Sharing Games.
IJCAR
Guy Avni, Orna Kupferman, Tami Tamir
2014 B conf
Network-Formation Games with Regular Objectives.
FoSSaCS
Guy Avni, Orna Kupferman, Tami Tamir
2014 J jnl
Parameterized Weighted Containment.
ACM Trans. Comput. Log.
Guy Avni, Orna Kupferman
2014 B conf
Synthesis from Component Libraries with Costs.
CONCUR
Guy Avni, Orna Kupferman
2013 A* conf
Automatic Generation of Quality Specifications.
CAV
Shaull Almagor, Guy Avni, Orna Kupferman
2013 B conf
Parameterized Weighted Containment.
FoSSaCS
Guy Avni, Orna Kupferman
2013 J jnl
When does abstraction help?
Inf. Process. Lett.
Guy Avni, Orna Kupferman
2012 B conf
Making Weighted Containment Feasible: A Heuristic Based on Simulation and Abstraction.
CONCUR
Guy Avni, Orna Kupferman
2011 B conf
An Abstraction-Refinement Framework for Trigger Querying.
SAS
Guy Avni, Orna Kupferman