[1]
S. Zhu, G. De Giacomo, G. Pu, and M. Y. Vardi, “LTLƒ Synthesis with Fairness and Stability Assumptions”, AAAI, vol. 34, no. 03, pp. 3088-3095, Apr. 2020.