| No. |
Title |
Author |
Year |
| 1 |
Flow Games |
Kupferman, Orna et al. |
2018 |
| 2 |
How Deterministic are Good-For-Games Automata? |
Boker, Udi et al. |
2018 |
| 3 |
Flow Logic |
Kupferman, Orna et al. |
2017 |
| 4 |
Timed Network Games |
Avni, Guy et al. |
2017 |
| 5 |
Eulerian Paths with Regular Constraints |
Kupferman, Orna et al. |
2016 |
| 6 |
High-Quality Synthesis Against Stochastic Environments |
Almagor, Shaull et al. |
2016 |
| 7 |
Minimizing Expected Cost Under Hard Boolean Constraints, with Applications to Quantitative Synthesis |
Almagor, Shaull et al. |
2016 |
| 8 |
Congestion Games with Multisets of Resources and Applications in Synthesis |
Avni, Guy et al. |
2015 |
| 9 |
On Relative and Probabilistic Finite Counterability |
Kupferman, Orna et al. |
2015 |
| 10 |
Repairing Multi-Player Games |
Almagor, Shaull et al. |
2015 |
