Zhu, Shufang, Giuseppe De Giacomo, Geguang Pu, and Moshe Y. Vardi. “LTLƒ Synthesis With Fairness and Stability Assumptions”. Proceedings of the AAAI Conference on Artificial Intelligence 34, no. 03 (April 3, 2020): 3088-3095. Accessed May 27, 2024. https://ojs.aaai.org/index.php/AAAI/article/view/5704.