Geatti et al. "Linear Temporal Logic Modulo Theories over Finite Traces." International Joint Conference on Artificial Intelligence, 2022. doi:10.24963/IJCAI.2022/366
Markdown
[Geatti et al. "Linear Temporal Logic Modulo Theories over Finite Traces." International Joint Conference on Artificial Intelligence, 2022.](https://mlanthology.org/ijcai/2022/geatti2022ijcai-linear/) doi:10.24963/IJCAI.2022/366
BibTeX
@inproceedings{geatti2022ijcai-linear,
title = {{Linear Temporal Logic Modulo Theories over Finite Traces}},
author = {Geatti, Luca and Gianola, Alessandro and Gigante, Nicola},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2022},
pages = {2641-2647},
doi = {10.24963/IJCAI.2022/366},
url = {https://mlanthology.org/ijcai/2022/geatti2022ijcai-linear/}
}