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), pp. 3088-3095. doi: 10.1609/aaai.v34i03.5704.