Aminof et al. "LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces." International Joint Conference on Artificial Intelligence, 2025. doi:10.24963/IJCAI.2025/939
Markdown
[Aminof et al. "LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces." International Joint Conference on Artificial Intelligence, 2025.](https://mlanthology.org/ijcai/2025/aminof2025ijcai-ltlf/) doi:10.24963/IJCAI.2025/939
BibTeX
@inproceedings{aminof2025ijcai-ltlf,
title = {{LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces}},
author = {Aminof, Benjamin and De Giacomo, Giuseppe and Rubin, Sasha and Vardi, Moshe Y.},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2025},
pages = {8447-8455},
doi = {10.24963/IJCAI.2025/939},
url = {https://mlanthology.org/ijcai/2025/aminof2025ijcai-ltlf/}
}