3 papers
cs.AI2025
Pushdown Reward Machines for Reinforcement Learning
Giovanni Varricchione, Toryn Q. Klassen, Natasha Alechina +3
Reward machines (RMs) are automata structures that encode (non-Markovian) reward functions for reinforcement learning (RL). RMs can reward any behaviour representable in regular la…
cs.LO2025
From Sound Workflow Nets to LTLf Declarative Specifications by Casting Three Spells
Luca Barbaro, Giovanni Varricchione, Marco Montali +1
In process management, effective behavior modeling is essential for understanding execution dynamics and identifying potential issues. Two complementary paradigms have emerged in t…
cs.LG2024
Maximally Permissive Reward Machines
Giovanni Varricchione, Natasha Alechina, Mehdi Dastani +1
Reward machines allow the definition of rewards for temporally extended tasks and behaviors. Specifying "informative" reward machines can be challenging. One way to address this is…