Guy Avni

Suman Sadhukhan

CoRR, September, 2025

Interactive Explanations for Reinforcement-Learning Agents.

[BibT_eX]

[DOI]

Yotam Amitai

Ofra Amir

CoRR, April, 2025

Composing Reinforcement Learning Policies, with Formal Guarantees.

[BibT_eX]

[DOI]

Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems, 2025

Bidding Games on Markov Decision Processes with Quantitative Reachability Objectives.

[BibT_eX]

[DOI]

Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems, 2025

Robin Hood Reachability Bidding Games.

[BibT_eX]

[DOI]

Shaull Almagor

Neta Dafni

Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems, 2025

2024

Synthesis of Hierarchical Controllers Based on Deep Reinforcement Learning Policies.

[BibT_eX]

[DOI]

CoRR, 2024

ASQ-IT: Interactive explanations for reinforcement-learning agents.

[BibT_eX]

[DOI]

Yotam Amitai

Ofra Amir

Artif. Intell., 2024

Auction-Based Scheduling.

[BibT_eX]

[DOI]

Kaushik Mallik

Suman Sadhukhan

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

Dimension-Minimality and Primality of Counter Nets.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computation Structures, 2024

Bidding Games with Charging.

[BibT_eX]

[DOI]

Ehsan Kafshdar Goharshady

Kaushik Mallik

Proceedings of the 35th International Conference on Concurrency Theory, 2024

2023

Reachability Poorman Discrete-Bidding Games.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

A Game of Pawns.

[BibT_eX]

[DOI]

Pranav Ghorpade

Proceedings of the 34th International Conference on Concurrency Theory, 2023

Bidding Graph Games with Partially-Observable Budgets.

[BibT_eX]

[DOI]

Ismaël Jecker

Dorde Zikelic

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

An Updated Survey of Bidding Games on Graphs (Invited Talk).

[BibT_eX]

[DOI]

Proceedings of the 47th International Symposium on Mathematical Foundations of Computer Science, 2022

Computing Threshold Budgets in Discrete-Bidding Games.

[BibT_eX]

[DOI]

Suman Sadhukhan

Proceedings of the 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2022

2021

Infinite-Duration All-Pay Bidding Games.

[BibT_eX]

[DOI]

Ismaël Jecker

Dorde Zikelic

Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms, 2021

2020

Formal Methods with a Touch of Magic.

[BibT_eX]

[DOI]

Parand Alizadeh Alamdari

Anna Lukina

Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

A Survey of Bidding Games on Graphs (Invited Paper).

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Concurrency Theory, 2020

All-Pay Bidding Games on Graphs.

[BibT_eX]

[DOI]

Rasmus Ibsen-Jensen

Josef Tkadlec

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Bidding Games on Markov Decision Processes.

[BibT_eX]

[DOI]

Proceedings of the Reachability Problems - 13th International Conference, 2019

Bidding Mechanisms in Graph Games.

[BibT_eX]

[DOI]

Dorde Zikelic

Proceedings of the 44th International Symposium on Mathematical Foundations of Computer Science, 2019

Determinacy in Discrete-Bidding Infinite-Duration Games.

[BibT_eX]

[DOI]

Milad Aghajohari

Proceedings of the 30th International Conference on Concurrency Theory, 2019

Run-Time Optimization for Learned Controllers Through Quantitative Games.

[BibT_eX]

[DOI]

Roderick Bloem

Krishnendu Chatterjee

Bettina Könighofer

Stefan Pranger

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

An Abstraction-Refinement Methodologyfor Reasoning about Network Games<sup>†</sup>.

[BibT_eX]

[DOI]

Games, 2018

Infinite-Duration Poorman-Bidding Games.

[BibT_eX]

[DOI]

Rasmus Ibsen-Jensen

Proceedings of the Web and Internet Economics - 14th International Conference, 2018

Timed Network Games with Clocks.

[BibT_eX]

[DOI]

Proceedings of the 43rd International Symposium on Mathematical Foundations of Computer Science, 2018

2017

Computing Scores of Forwarding Schemes in Switched Networks with Probabilistic Faults.

[BibT_eX]

[DOI]

Shubham Goel

Guillermo Rodríguez-Navas

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Timed Network Games.

[BibT_eX]

[DOI]

Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science, 2017

An Abstraction-Refinement Methodology for Reasoning about Network Games.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Infinite-Duration Bidding Games.

[BibT_eX]

[DOI]

Ventsislav Chonev

Proceedings of the 28th International Conference on Concurrency Theory, 2017

2016

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

[BibT_eX]

[DOI]

PhD thesis, 2016

Dynamic Resource Allocation Games.

[BibT_eX]

[DOI]

Proceedings of the Algorithmic Game Theory - 9th International Symposium, 2016

Synthesizing time-triggered schedules for switched networks with faulty links.

[BibT_eX]

[DOI]

Guillermo Rodríguez-Navas

Proceedings of the 2016 International Conference on Embedded Software, 2016

2015

Cost-Sharing Scheduling Games on Restricted Unrelated Machines.

[BibT_eX]

[DOI]

Proceedings of the Algorithmic Game Theory - 8th International Symposium, 2015

Stochastization of Weighted Automata.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 2015, 2015

Congestion Games with Multisets of Resources and Applications in Synthesis.

[BibT_eX]

[DOI]

Proceedings of the 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, 2015

Repairing Multi-Player Games.

[BibT_eX]

[DOI]

Shaull Almagor

Proceedings of the 26th International Conference on Concurrency Theory, 2015

2014

Network-Formation Games with Regular Objectives.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computation Structures, 2014

Synthesis from Component Libraries with Costs.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014

From Reachability to Temporal Specifications in Cost-Sharing Games.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014

2013

When does abstraction help?

[BibT_eX]

[DOI]

Inf. Process. Lett., 2013

Parameterized Weighted Containment.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computation Structures, 2013

Automatic Generation of Quality Specifications.

[BibT_eX]

[DOI]

Shaull Almagor

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012

Making Weighted Containment Feasible: A Heuristic Based on Simulation and Abstraction.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012

2011

An Abstraction-Refinement Framework for Trigger Querying.

[BibT_eX]

[DOI]