Reactive synthesis of dominant strategies by Aminof, B, De Giacomo, G, Rubin, S

Stochastic best-effort strategies for Borel goals by Aminof, B, De Giacomo, G, Rubin, S, Zuleger, F

Probabilistic strategy logic by Aminof, B, Kwiatkowska, M, Maubert, B, Murano, A, Rubin, S

LTLf synthesis under environment specifications for reachability and safety properties by Aminof, B, De Giacomo, G, Di Stasio, A, Francon, H, Rubin, S, Zhu, S