Shufang Zhu, Giuseppe De Giacomo, Geguang Pu, Moshe Y. Vardi. LTLƒ Synthesis with Fairness and Stability Assumptions. In The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, IAAI 2020, The Tenth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2020, New York, NY, USA, February 7-12, 2020. pages 3088-3095, AAAI Press, 2020. [doi]
@inproceedings{ZhuGPV20, title = {LTLƒ Synthesis with Fairness and Stability Assumptions}, author = {Shufang Zhu and Giuseppe De Giacomo and Geguang Pu and Moshe Y. Vardi}, year = {2020}, url = {https://aaai.org/ojs/index.php/AAAI/article/view/5704}, researchr = {https://researchr.org/publication/ZhuGPV20}, cites = {0}, citedby = {0}, pages = {3088-3095}, booktitle = {The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, IAAI 2020, The Tenth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2020, New York, NY, USA, February 7-12, 2020}, publisher = {AAAI Press}, isbn = {978-1-57735-823-7}, }