Latticed-LTL synthesis in the presence of noisy inputs by Almagor, S, Kupferman, O

Synthesis of controllable nash equilibria in games with quantitative objectives by Almagor, S, Kupferman, O, Perelli, G

Minimizing expected cost under hard boolean constraints, with applications to quantitative synthesis by Almagor, S, Kupferman, O, Velner, Y

Synthesis with rational environments by Kupferman, O, Perelli, G, Vardi, M