| Publication | Date of Publication | Type |
|---|
| Bidding games with charging | 2026-02-10 | Paper |
| A game of pawns | 2025-06-26 | Paper |
A game of pawns
Logical Methods in Computer Science | 2025-05-06 | Paper |
Computing threshold budgets in discrete-bidding games
TheoretiCS | 2025-03-06 | Paper |
ASQ-IT: interactive explanations for reinforcement-learning agents
Artificial Intelligence | 2025-02-11 | Paper |
| Dimension-minimality and primality of counter nets | 2024-10-30 | Paper |
| Computing threshold budgets in discrete-bidding games | 2024-09-12 | Paper |
| An updated survey of bidding games on graphs (invited talk) | 2024-08-06 | Paper |
Run-time optimization for learned controllers through quantitative games
Computer Aided Verification | 2024-02-16 | Paper |
scientific article; zbMATH DE number 7788376 (Why is no real title available?)
(available as arXiv preprint) | 2024-01-15 | Paper |
| Determinacy in discrete-bidding infinite-duration games | 2023-02-03 | Paper |
Timed network games
Information and Computation | 2023-01-12 | Paper |
| Bidding mechanisms in graph games | 2022-07-21 | Paper |
| A Survey of Bidding Games on Graphs (Invited Paper) | 2022-07-18 | Paper |
Timed network games with clocks
(available as arXiv preprint) | 2021-08-04 | Paper |
Bidding mechanisms in graph games
Journal of Computer and System Sciences | 2021-04-14 | Paper |
Bidding mechanisms in graph games
Journal of Computer and System Sciences | 2021-04-14 | Paper |
scientific article; zbMATH DE number 7327943 (Why is no real title available?)
(available as arXiv preprint) | 2021-03-26 | Paper |
| scientific article; zbMATH DE number 7327943 (Why is no real title available?) | 2021-03-26 | Paper |
Computing scores of forwarding schemes in switched networks with probabilistic faults
Tools and Algorithms for the Construction and Analysis of Systems | 2020-08-05 | Paper |
Computing scores of forwarding schemes in switched networks with probabilistic faults
Tools and Algorithms for the Construction and Analysis of Systems | 2020-08-05 | Paper |
Infinite-duration poorman-bidding games
(available as arXiv preprint) | 2020-06-18 | Paper |
| Infinite-duration bidding games | 2020-05-27 | Paper |
| Timed network games | 2020-05-26 | Paper |
Infinite-duration Bidding Games
Journal of the ACM | 2020-02-11 | Paper |
Infinite-duration Bidding Games
Journal of the ACM | 2020-02-11 | Paper |
Dynamic resource allocation games
Theoretical Computer Science | 2020-01-22 | Paper |
| Bidding games on Markov decision processes | 2019-10-22 | Paper |
An abstraction-refinement methodology for reasoning about network games
Games | 2018-12-10 | Paper |
Synthesis from component libraries with costs
Theoretical Computer Science | 2018-02-09 | Paper |
| Repairing multi-player games | 2017-09-12 | Paper |
| Congestion games with multisets of resources and applications in synthesis | 2017-07-13 | Paper |
Network-formation games with regular objectives
Information and Computation | 2016-11-18 | Paper |
Dynamic resource allocation games
Algorithmic Game Theory | 2016-09-29 | Paper |
Cost-sharing scheduling games on restricted unrelated machines
Theoretical Computer Science | 2016-08-31 | Paper |
Cost-sharing scheduling games on restricted unrelated machines
Algorithmic Game Theory | 2015-11-04 | Paper |
Parameterized weighted containment
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
Stochastization of weighted automata
Mathematical Foundations of Computer Science 2015 | 2015-09-16 | Paper |
From reachability to temporal specifications in cost-sharing games
Automated Reasoning | 2014-09-26 | Paper |
Synthesis from component libraries with costs
CONCUR 2014 – Concurrency Theory | 2014-09-15 | Paper |
An abstraction-refinement framework for trigger querying
Formal Methods in System Design | 2014-06-30 | Paper |
Network-formation games with regular objectives
Lecture Notes in Computer Science | 2014-04-16 | Paper |
When does abstraction help?
Information Processing Letters | 2014-04-14 | Paper |
Parameterized Weighted Containment
Lecture Notes in Computer Science | 2013-03-18 | Paper |
Making weighted containment feasible: a heuristic based on simulation and abstraction
Lecture Notes in Computer Science | 2012-09-25 | Paper |
