TY  - RPRT
TI  - Formal Explanations for Linear Temporal Logic over Finite Traces
AU  - Valeria Fionda
AU  - Antonio Ielo
AU  - Francesco Ricca
PY  - 2026
UR  - https://arxiv.org/abs/2610.35169
ID  - 2610.35169
ER  -