Guy Avni

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

2023

Timed network games.

[BibT_eX]

[DOI]

Inf. Comput., January, 2023

ASQ-IT: Interactive Explanations for Reinforcement-Learning Agents.

[BibT_eX]

[DOI]

Yotam Amitai

Ofra Amir

CoRR, 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

Bidding Graph Games with Partially-Observable Budgets.

[BibT_eX]

[DOI]

Ismaël Jecker

Djordje Zikelic

CoRR, 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

Determinacy in Discrete-Bidding Infinite-Duration Games.

[BibT_eX]

[DOI]

Milad Aghajohari

Log. Methods Comput. Sci., 2021

Bidding mechanisms in graph games.

[BibT_eX]

[DOI]

Dorde Zikelic

J. Comput. Syst. Sci., 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

Dynamic resource allocation games.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 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

Infinite-duration Bidding Games.

[BibT_eX]

[DOI]

Ventsislav Chonev

J. ACM, 2019

Bidding Games on Markov Decision Processes.

[BibT_eX]

[DOI]

Proceedings of the Reachability Problems - 13th International Conference, 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

Synthesis from component libraries with costs.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 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

An Abstraction-Refinement Methodology for Reasoning about Network Games.

[BibT_eX]

[DOI]

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

2016

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

[BibT_eX]

[DOI]

PhD thesis, 2016

Cost-sharing scheduling games on restricted unrelated machines.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2016

Network-formation games with regular objectives.

[BibT_eX]

[DOI]

Inf. Comput., 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

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

Parameterized Weighted Containment.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2014

An abstraction-refinement framework for trigger querying.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 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

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]