Showing 2026Show all
2 papers · 1 filter
cs.LG2026
DeepDFA: Injecting Temporal Logic in Deep Learning for Sequential Subsymbolic Applications
Elena Umili, Francesco Argenziano, Roberto Capobianco
Integrating logical knowledge into deep neural network training is still a hard challenge, especially for sequential or temporally extended domains involving subsymbolic observatio…
cs.LG2026
Grounding LTL Tasks in Sub-Symbolic RL Environments for Zero-Shot Generalization
Matteo Pannacci, Andrea Fanti, Elena Umili +1
In this work we address the problem of training a Reinforcement Learning agent to follow multiple temporally-extended instructions expressed in Linear Temporal Logic in sub-symboli…