T-ILR: a Neurosymbolic Integration for LTLf

Open in new window