3 papers
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.LG2024
Neural Reward Machines
Elena Umili, Francesco Argenziano, Roberto Capobianco
Non-markovian Reinforcement Learning (RL) tasks are very hard to solve, because agents must consider the entire history of state-action pairs to act rationally in the environment.…
cs.LG2024
DeepDFA: Automata Learning through Neural Probabilistic Relaxations
Elena Umili, Roberto Capobianco
In this work, we introduce DeepDFA, a novel approach to identifying Deterministic Finite Automata (DFAs) from traces, harnessing a differentiable yet discrete model. Inspired by bo…