Solving parity games using an automata-based algorithm Dahkki Di Stasio, A, Murano, A, Perelli, G, Vardi, M

Finite-trace and generalized-reactivity specifications in temporal synthesis Dahkki De Giacomo, G, Di Stasio, A, Tabajara, LM, Vardi, MY, Zhu, S

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