Publications
Synthesis of Hierarchical Controllers Based on Deep Reinforcement Learning Policies
with Florent Delgrange, Anna Lukina, Christian Schilling, Ann Nowé, and Guillermo A. Pérez
pdfAuction-Based Scheduling
TACAS 24 paper with Kaushik Mallik and Suman Sadhukhan
pdfDimension-Minimality and Primality of Counter Nets
FoSSaCS 24 paper with Shaull Almagor, Henry Sinclair-Banks, and Asaf Yeshurun
pdfReachability Poorman Discrete-Bidding Games
ECAI 23 paper with Tobias Meggendorfer, Suman Sadhukhan, Josef Tkadlec, and Đorđe Žikelić
pdfA Game of Pawns
CONCUR 23 paper with Pranav Ghorpade and Shibashis Guha
pdfASQ-IT: Interactive Explanations for Reinforcement-Learning Agents
with Yotam Amitai and Ofra Amir
pdf prelim. presentationBidding Graph Games with Partially-Observable Budgets
AAAI 23 paper with Ismael Jecker and Đorđe Žikelić
pdfComputing Threshold Budgets in Discrete-Bidding Games
FSTTCS 22 paper with Suman Sadhukhan
pdfInfinite-Duration All-Pay Bidding Games
SODA 21 paper with Ismael Jecker and Đorđe Žikelić
pdf presentationA Survey of Bidding Games on Graphs
CONCUR 20 paper with Thomas A. Henzinger
pdfFormal Methods with a Touch of Magic
FMCAD 20 paper with Parand Alizadeh Alamdari, Thomas A. Henzinger, and Anna Lukina
pdf presentationAll-Pay Bidding Games on Graphs
AAAI 20 paper with Rasmus Ibsen-Jensen, and Josef Tkadlec
pdfBidding games on Markov decision processes
RP 19 paper with Thomas A. Henzinger, Rasmus Ibsen-Jensen, and Petr Novotny
pdfBidding Mechanisms in Graph Games
MFCS 19 paper and JCSS article with Thomas A. Henzinger and Đorđe Žikelić
pdfDeterminacy in Discrete-Bidding Infinite-Duration Games
CONCUR 19 paper and LMCS article with Milad Aghajohari and Thomas A. Henzinger
pdfRun-Time Optimization for Learned Controllers through Quantitative Games
CAV 19 paper with Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Bettina Konighofer, and Stefan Pranger
pdfInfinite-Duration Poorman Bidding Games
WINE 18 paper with Rasmus Ibsen-Jensen and Thomas A. Henzinger
pdfTimed Network Games with Clocks
MFCS 18 paper and I&C article with Shibashis Guha and Orna Kupferman
pdfTimed Network Games
MFCS 17 paper with Shibashis Guha and Orna Kupferman
pdfAn Abstraction-Refinement Methodology for Reasoning about Network Games
IJCAI 17 paper and GAMES article with Shibashis Guha and Orna Kupferman
pdfInfinite-Duration Bidding Games
CONCUR 17 paper and JACM 19 article with Thomas A. Henzinger and Ventsislav Chonev
pdfComputing Scores of Forwarding Schemes in Switched Networks with Probabilistic Faults
TACAS 17 paper with Shubham Goel, Thomas A. Henzinger, and Guillermo Rodriguez-Navas
pdfDynamic Resource Allocation Games
SAGT 16 paper and TCS 20 article with Thomas A. Henzinger and Orna Kupferman
pdfSynthesizing Time-Triggered Schedules for Switched Networks with Faulty Links
EMSOFT 16 paper with Shibashis Guha and Guillermo Rodriguez-Navas
pdfCongestion Games with Multisets of Resources and Application in Synthesis
FSTTCS 15 paper with Orna Kupferman and Tami Tamir
pdfCost-Sharing Scheduling Games on Restricted Unrelated Machines
SAGT 15 paper and TCS 16 article with Tami Tamir
pdfRepairing Multi-Player Games
CONCUR 15 paper with Shaull Almagor and Orna Kupferman
pdfStochastization of Weighted Automata
MFCS 15 paper with Orna Kupferman
pdfSynthesis from Component Libraries with Costs
CONCUR 14 paper and TCS 18 article with Orna Kupferman
pdfNetwork-Formation Games with Regular Objectives
FoSSaCS 14 paper and I&C 16 article with Orna Kupferman and Tami Tamir
pdfWhen Does Abstraction Help?
IPL 13 article with Orna Kupferman
pdfAutomatic Generation of Quality Specification
CAV 13 paper with Shaull Almagor and Orna Kupferman
pdfParametric Weighted Containment
FoSSaCS 13 paper and TOCL 14 article with Orna Kupferman
pdfMaking Weighted Containment Feasible: A Heuristic Based on Simulation and Abstraction
CONCUR 12 paper with Orna Kupferman
pdfAn Abstraction-Refinement Framework For Trigger-Querying
SAS 11 paper and FMSD 14 article with Orna Kupferman
pdfQuantitative Formal Methods Meets Algorithmic Game Theory
Ph.D Thesis
pdf