De Giacomo et al. "Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis." International Joint Conference on Artificial Intelligence, 2021. doi:10.24963/IJCAI.2021/255
Markdown
[De Giacomo et al. "Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis." International Joint Conference on Artificial Intelligence, 2021.](https://mlanthology.org/ijcai/2021/giacomo2021ijcai-finite/) doi:10.24963/IJCAI.2021/255
BibTeX
@inproceedings{giacomo2021ijcai-finite,
title = {{Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis}},
author = {De Giacomo, Giuseppe and Di Stasio, Antonio and Tabajara, Lucas M. and Vardi, Moshe Y. and Zhu, Shufang},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2021},
pages = {1852-1858},
doi = {10.24963/IJCAI.2021/255},
url = {https://mlanthology.org/ijcai/2021/giacomo2021ijcai-finite/}
}