TY  - RPRT
TI  - First-Order Temporal Logic Tensor Networks
AU  - Luca Boscarato
AU  - Ivan Donadello
AU  - Alessandro Artale
AU  - Marco Montali
AU  - Fabrizio Maria Maggi
PY  - 2026
UR  - https://arxiv.org/abs/2606.29972
ID  - 2606.29972
ER  -