Publications

Mean-payoff and Energy Discrete Bidding Games
CSL 26 paper with Suman Sadhukhan
pdf

Composing Reinforcement Learning Policies, with Formal Guarantees
AAMAS 25 paper with Florent Delgrange, Anna Lukina, Christian Schilling, Ann Nowé, and Guillermo A. Pérez
pdf

Bidding Games on Markov Decision Processes with Quantitative Reachability Objectives
AAMAS 25 paper with Martin Kurečka, Kaushik Mallik, Petr Novotný, and Suman Sadhukhan
pdf

Robin Hood Reachability Bidding Games
AAMAS 25 paper with Shaull Almagor and Neta Gafni
pdf

Bidding Games with Charging
CONCUR 24 paper with Ehsan Kafshdar Goharshady, Thomas A. Henzinger, and Kaushik Mallik
pdf

Auction-Based Scheduling
TACAS 24 paper with Kaushik Mallik and Suman Sadhukhan
pdf

Dimension-Minimality and Primality of Counter Nets
FoSSaCS 24 paper with Shaull Almagor, Henry Sinclair-Banks, and Asaf Yeshurun
pdf

Reachability Poorman Discrete-Bidding Games
ECAI 23 paper with Tobias Meggendorfer, Suman Sadhukhan, Josef Tkadlec, and Đorđe Žikelić
pdf

A Game of Pawns
CONCUR 23 paper and LMCS article with Pranav Ghorpade and Shibashis Guha
pdf

ASQ-IT: Interactive Explanations for Reinforcement-Learning Agents
AIJ article with Yotam Amitai and Ofra Amir
pdf prelim. presentation 

Bidding Graph Games with Partially-Observable Budgets
AAAI 23 paper with Ismael Jecker and Đorđe Žikelić
pdf

Computing Threshold Budgets in Discrete-Bidding Games
FSTTCS 22 paper and TheoretiCS article with Suman Sadhukhan
pdf

Infinite-Duration All-Pay Bidding Games
SODA 21 paper with Ismael Jecker and Đorđe Žikelić
pdf presentation

A Survey of Bidding Games on Graphs
CONCUR 20 paper with Thomas A. Henzinger
pdf

Formal Methods with a Touch of Magic
FMCAD 20 paper with Parand Alizadeh Alamdari, Thomas A. Henzinger, and Anna Lukina
pdf presentation

All-Pay Bidding Games on Graphs
AAAI 20 paper with Rasmus Ibsen-Jensen, and Josef Tkadlec
pdf

Bidding games on Markov decision processes
RP 19 paper with Thomas A. Henzinger, Rasmus Ibsen-Jensen, and Petr Novotny
pdf

Bidding Mechanisms in Graph Games
MFCS 19 paper and JCSS article  with Thomas A. Henzinger and Đorđe Žikelić
pdf

Determinacy in Discrete-Bidding Infinite-Duration Games
CONCUR 19 paper and LMCS article with Milad Aghajohari and Thomas A. Henzinger
pdf

Run-Time Optimization for Learned Controllers through Quantitative Games
CAV 19 paper with Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Bettina Konighofer, and Stefan Pranger
pdf

Infinite-Duration Poorman Bidding Games
WINE 18 paper with Rasmus Ibsen-Jensen and Thomas A. Henzinger
pdf

Timed Network Games with Clocks
MFCS 18 paper and I&C article with Shibashis Guha and Orna Kupferman
pdf

Timed Network Games
MFCS 17 paper with Shibashis Guha and Orna Kupferman
pdf

An Abstraction-Refinement Methodology for Reasoning about Network Games
IJCAI 17 paper and GAMES article with Shibashis Guha and Orna Kupferman
pdf

Infinite-Duration Bidding Games
CONCUR 17 paper and JACM 19 article with Thomas A. Henzinger and Ventsislav Chonev
pdf

Computing Scores of Forwarding Schemes in Switched Networks with Probabilistic Faults
TACAS 17 paper with Shubham Goel, Thomas A. Henzinger, and Guillermo Rodriguez-Navas
pdf

Dynamic Resource Allocation Games
SAGT 16 paper and TCS 20 article with Thomas A. Henzinger and Orna Kupferman
pdf

Synthesizing Time-Triggered Schedules for Switched Networks with Faulty Links
EMSOFT 16 paper with Shibashis Guha and Guillermo Rodriguez-Navas
pdf

Congestion Games with Multisets of Resources and Application in Synthesis
FSTTCS 15 paper with Orna Kupferman and Tami Tamir
pdf

Cost-Sharing Scheduling Games on Restricted Unrelated Machines
SAGT 15 paper and TCS 16 article with Tami Tamir
pdf

Repairing Multi-Player Games
CONCUR 15 paper with Shaull Almagor and Orna Kupferman
pdf

Stochastization of Weighted Automata
MFCS 15 paper with Orna Kupferman
pdf

Synthesis from Component Libraries with Costs
CONCUR 14 paper and TCS 18 article with Orna Kupferman
pdf

Network-Formation Games with Regular Objectives
FoSSaCS 14 paper and I&C 16 article with Orna Kupferman and Tami Tamir
pdf

When Does Abstraction Help?
IPL 13 article with Orna Kupferman
pdf

Automatic Generation of Quality Specification
CAV 13 paper with Shaull Almagor and Orna Kupferman
pdf

Parametric Weighted Containment
FoSSaCS 13 paper and TOCL 14 article with Orna Kupferman
pdf

Making Weighted Containment Feasible: A Heuristic Based on Simulation and Abstraction
CONCUR 12 paper with Orna Kupferman
pdf

An Abstraction-Refinement Framework For Trigger-Querying
SAS 11 paper and FMSD 14 article with Orna Kupferman
pdf

Quantitative Formal Methods Meets Algorithmic Game Theory
Ph.D Thesis
pdf