@inproceedings{ijcai2021p255, title = {Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis}, author = {De Giacomo, Giuseppe and Di Stasio, Antonio and M. Tabajara, Lucas and Vardi, Moshe and Zhu, Shufang}, booktitle = {Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, {IJCAI-21}}, publisher = {International Joint Conferences on Artificial Intelligence Organization}, editor = {Zhi-Hua Zhou}, pages = {1852--1858}, year = {2021}, month = {8}, note = {Main Track}, doi = {10.24963/ijcai.2021/255}, url = {https://doi.org/10.24963/ijcai.2021/255}, }