%0 Conference Paper %1 conf/aaai/ZhuGPV20 %A Zhu, Shufang %A Giacomo, Giuseppe De %A Pu, Geguang %A Vardi, Moshe Y. %B AAAI %D 2020 %I AAAI Press %K dblp %P 3088-3095 %T LTLƒ Synthesis with Fairness and Stability Assumptions. %U http://dblp.uni-trier.de/db/conf/aaai/aaai2020.html#ZhuGPV20 %@ 978-1-57735-823-7

@inproceedings{conf/aaai/ZhuGPV20, added-at = {2023-09-04T00:00:00.000+0200}, author = {Zhu, Shufang and Giacomo, Giuseppe De and Pu, Geguang and Vardi, Moshe Y.}, biburl = {https://www.bibsonomy.org/bibtex/2a8d86cb87e38d76c2a8c20bc87052674/dblp}, booktitle = {AAAI}, crossref = {conf/aaai/2020}, ee = {https://doi.org/10.1609/aaai.v34i03.5704}, interhash = {927c53546530fdb0fe5fb08637cf14ad}, intrahash = {a8d86cb87e38d76c2a8c20bc87052674}, isbn = {978-1-57735-823-7}, keywords = {dblp}, pages = {3088-3095}, publisher = {AAAI Press}, timestamp = {2024-04-09T18:05:48.000+0200}, title = {LTLƒ Synthesis with Fairness and Stability Assumptions.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2020.html#ZhuGPV20}, year = 2020 }