Zhu, S.; De Giacomo, G.; Pu, G.; Vardi, M. Y. LTLƒ Synthesis With Fairness and Stability Assumptions. AAAI 2020, 34, 3088-3095.