sc ltlf Synthesis Under Environment Specifications for Reachability and Safety Properties. - Benjamin Aminof; Giuseppe De Giacomo; Antonio Di Stasio 001; Hugo Francon; Sasha Rubin; Shufang Zhu 001 (EUMAS, 2023)

Synchronizing words under LTL constraints. - Nathalie Bertrand 001; Hugo Francon; Nicolas Markey (Inf. Process. Lett., 2023)

LTLf synthesis under environment specifications for reachability and safety properties. - Benjamin Aminof; Giuseppe De Giacomo; Antonio Di Stasio 001; Hugo Francon; Sasha Rubin; Shufang Zhu 001 (Inf. Comput., 2025)