3 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.AI2026
Neuro-Symbolic Injection of LTLf Constraints in Autoregressive Reinforcement Learning Policies
Ashkan Ansarifard, Matteo Mancanelli, Elena Umili +1
In this work we study offline reinforcement learning (RL) under temporally extended task constraints expressed in Linear Temporal Logic over finite traces (LTLf). Recently, transfo…
cs.AI2026★ 3 cited
Neuro-Symbolic Predictive Process Monitoring
Axel Mezini, Elena Umili, Ivan Donadello +3
This paper addresses the problem of suffix prediction in Business Process Management (BPM) by proposing a Neuro-Symbolic Predictive Process Monitoring (PPM) approach that integrate…