| No. |
Title |
Author |
Year |
| 1 |
Flow Logic |
Kupferman, Orna et al. |
2017 |
| 2 |
Eulerian Paths with Regular Constraints |
Kupferman, Orna et al. |
2016 |
| 3 |
High-Quality Synthesis Against Stochastic Environments |
Almagor, Shaull et al. |
2016 |
| 4 |
Minimizing Expected Cost Under Hard Boolean Constraints, with Applications to Quantitative Synthesis |
Almagor, Shaull et al. |
2016 |
| 5 |
Congestion Games with Multisets of Resources and Applications in Synthesis |
Avni, Guy et al. |
2015 |
| 6 |
On Relative and Probabilistic Finite Counterability |
Kupferman, Orna et al. |
2015 |
| 7 |
Repairing Multi-Player Games |
Almagor, Shaull et al. |
2015 |
| 8 |
The Sensing Cost of Monitoring and Synthesis |
Almagor, Shaull et al. |
2015 |
| 9 |
Properties and Utilization of Capacitated Automata (Invited Talk) |
Kupferman, Orna et al. |
2014 |
| 10 |
Regular Sensing |
Almagor, Shaull et al. |
2014 |
