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 |