%0 Conference Paper %1 conf/ijcai/Giacomo0TV021 %A Giacomo, Giuseppe De %A Stasio, Antonio Di %A Tabajara, Lucas M. %A Vardi, Moshe Y. %A Zhu, Shufang %B IJCAI %D 2021 %E Zhou, Zhi-Hua %I ijcai.org %K dblp %P 1852-1858 %T Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai2021.html#Giacomo0TV021

@inproceedings{conf/ijcai/Giacomo0TV021, added-at = {2021-10-14T00:00:00.000+0200}, author = {Giacomo, Giuseppe De and Stasio, Antonio Di and Tabajara, Lucas M. and Vardi, Moshe Y. and Zhu, Shufang}, biburl = {https://www.bibsonomy.org/bibtex/2fb50a686cf540377d95c1abc3625149a/dblp}, booktitle = {IJCAI}, crossref = {conf/ijcai/2021}, editor = {Zhou, Zhi-Hua}, ee = {https://doi.org/10.24963/ijcai.2021/255}, interhash = {e4c79c3b79fe73c3f0f62c3bdbf66a67}, intrahash = {fb50a686cf540377d95c1abc3625149a}, keywords = {dblp}, pages = {1852-1858}, publisher = {ijcai.org}, timestamp = {2024-04-10T01:46:17.000+0200}, title = {Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2021.html#Giacomo0TV021}, year = 2021 }