Showing cs.AIShow all
2 papers · 1 filter
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.AI2025
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…