| 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 |
Spanning-Tree Games |
Hefetz, Dan et al. |
2018 |
| 4 |
The Unfortunate-Flow Problem |
Kupferman, Orna et al. |
2018 |
| 5 |
Timed Network Games with Clocks |
Avni, Guy et al. |
2018 |
| 6 |
Flow Logic |
Kupferman, Orna et al. |
2017 |
| 7 |
Timed Network Games |
Avni, Guy et al. |
2017 |
| 8 |
Eulerian Paths with Regular Constraints |
Kupferman, Orna et al. |
2016 |
| 9 |
High-Quality Synthesis Against Stochastic Environments |
Almagor, Shaull et al. |
2016 |
| 10 |
Minimizing Expected Cost Under Hard Boolean Constraints, with Applications to Quantitative Synthesis |
Almagor, Shaull et al. |
2016 |
