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.RO2025
Defining and Monitoring Complex Robot Activities via LLMs and Symbolic Reasoning
Francesco Argenziano, Elena Umili, Francesco Leotta +1
Recent years have witnessed a growing interest in automating labor-intensive and complex activities, i.e., those consisting of multiple atomic tasks, by deploying robots in dynamic…
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.…