Synthesising Reward Machines for Cooperative Multi-Agent Reinforcement Learning. - Giovanni Varricchione; Natasha Alechina; Mehdi Dastani; Brian Logan 001 (EUMAS, 2023)

Pure-Past Action Masking. - Giovanni Varricchione; Natasha Alechina; Mehdi Dastani; Giuseppe De Giacomo; Brian Logan 001; Giuseppe Perelli (AAAI, 2024)

Frame Definability in Conditional Logic. - Damiano Fornasiere; Johannes Marti; Giovanni Varricchione (AiML, 2024)

Maximally Permissive Reward Machines. - Giovanni Varricchione; Natasha Alechina; Mehdi Dastani; Brian Logan 001 (ECAI, 2024)

From Sound Workflow Nets to LTLf Declarative Specifications by Casting Three Spells. - Luca Barbaro; Giovanni Varricchione; Marco Montali; Claudio Di Ciccio (CoRR, 2025)

Pushdown Reward Machines for Reinforcement Learning. - Giovanni Varricchione; Toryn Q. Klassen; Natasha Alechina; Mehdi Dastani; Brian Logan 001; Sheila A. McIlraith (CoRR, 2025)