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