TY  - RPRT
TI  - T-ILR: a Neurosymbolic Integration for LTLf
AU  - Riccardo Andreoni
AU  - Andrei Buliga
AU  - Alessandro Daniele
AU  - Chiara Ghidini
AU  - Marco Montali
AU  - Massimiliano Ronzani
PY  - 2025
UR  - https://arxiv.org/abs/2508.15943
ID  - 2508.15943
ER  -