TRIDENT: Temporally Restricted Inference via DFA-Enhanced Neural Traversal. - Vincenzo Collura; Karim Tit; Laura Bussi; Eleonora Giunchiglia; Maxime Cordy (CoRR, 2025)