Zhu, S., De Giacomo, G., Pu, G. and Vardi, M.Y. 2020. LTLƒ Synthesis with Fairness and Stability Assumptions. Proceedings of the AAAI Conference on Artificial Intelligence. 34, 03 (Apr. 2020), 3088-3095. DOI:https://doi.org/10.1609/aaai.v34i03.5704.