| No. |
Title |
Author |
Year |
| 1 |
CONCUR Test-Of-Time Award 2022 (Invited Paper) |
Castellani, Ilaria et al. |
2022 |
| 2 |
Energy Games with Resource-Bounded Environments |
Kupferman, Orna et al. |
2022 |
| 3 |
Synthesis of Privacy-Preserving Systems |
Kupferman, Orna et al. |
2022 |
| 4 |
A Hierarchy of Nondeterminism |
Abu Radi, Bader et al. |
2021 |
| 5 |
Coverage and Vacuity in Network Formation Games |
Bielous, Gili et al. |
2020 |
| 6 |
On Repetition Languages |
Kupferman, Orna et al. |
2020 |
| 7 |
Perspective Games with Notifications |
Kupferman, Orna et al. |
2020 |
| 8 |
Unary Prime Languages |
Jecker, Ismaël et al. |
2020 |
| 9 |
Minimizing GFG Transition-Based Automata |
Abu Radi, Bader et al. |
2019 |
| 10 |
Register-Bounded Synthesis |
Khalimov, Ayrat et al. |
2019 |
| 11 |
Flow Games |
Kupferman, Orna et al. |
2018 |
| 12 |
How Deterministic are Good-For-Games Automata? |
Boker, Udi et al. |
2018 |
| 13 |
Spanning-Tree Games |
Hefetz, Dan et al. |
2018 |
| 14 |
The Unfortunate-Flow Problem |
Kupferman, Orna et al. |
2018 |
| 15 |
Timed Network Games with Clocks |
Avni, Guy et al. |
2018 |
| 16 |
Flow Logic |
Kupferman, Orna et al. |
2017 |
| 17 |
Timed Network Games |
Avni, Guy et al. |
2017 |
| 18 |
Eulerian Paths with Regular Constraints |
Kupferman, Orna et al. |
2016 |
| 19 |
High-Quality Synthesis Against Stochastic Environments |
Almagor, Shaull et al. |
2016 |
| 20 |
Minimizing Expected Cost Under Hard Boolean Constraints, with Applications to Quantitative Synthesis |
Almagor, Shaull et al. |
2016 |
| 21 |
Congestion Games with Multisets of Resources and Applications in Synthesis |
Avni, Guy et al. |
2015 |
| 22 |
On Relative and Probabilistic Finite Counterability |
Kupferman, Orna et al. |
2015 |
| 23 |
Repairing Multi-Player Games |
Almagor, Shaull et al. |
2015 |
| 24 |
The Sensing Cost of Monitoring and Synthesis |
Almagor, Shaull et al. |
2015 |
| 25 |
Properties and Utilization of Capacitated Automata (Invited Talk) |
Kupferman, Orna et al. |
2014 |
| 26 |
Regular Sensing |
Almagor, Shaull et al. |
2014 |
| 27 |
Temporal Synthesis for Bounded Systems and Environments |
Kupferman, Orna et al. |
2011 |
| 28 |
Unifying Büchi Complementation Constructions |
Fogarty, Seth et al. |
2011 |
| 29 |
09501 Abstracts Collection -- Software Synthesis |
Bodik, Ratislav et al. |
2010 |
| 30 |
Parityizing Rabin and Streett |
Boker, Udi et al. |
2010 |
