Giovanni Varricchione

According to our database, Giovanni Varricchione authored at least 8 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Sp3llsWizard.

Luca Barbaro, Giovanni Varricchione, Marco Montali, Claudio Di Ciccio

Dataset, May, 2025

From Sound Workflow Nets to LTLf Declarative Specifications by Casting Three Spells.

Luca Barbaro, Giovanni Varricchione, Marco Montali, Claudio Di Ciccio

CoRR, April, 2025

Pushdown Reward Machines for Reinforcement Learning.

Giovanni Varricchione, Toryn Q. Klassen, Natasha Alechina, Mehdi Dastani, Brian Logan, Sheila A. McIlraith

Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning, 2025

From Sound Workflow Nets to LTL_f Declarative Specifications by Casting Three Spells.

Luca Barbaro, Giovanni Varricchione, Marco Montali, Claudio Di Ciccio

Proceedings of the Business Process Management Forum - BPM 2025 Forum, Seville, Spain, August 31, 2025

2024

Maximally Permissive Reward Machines.

Giovanni Varricchione, Natasha Alechina, Mehdi Dastani, Brian Logan

Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024

Frame Definability in Conditional Logic.

Damiano Fornasiere, Johannes Marti, Giovanni Varricchione

Proceedings of the Advances in Modal Logic, AiML 2024, Prague, Czech Republic, 2024

Pure-Past Action Masking.

Giovanni Varricchione, Natasha Alechina, Mehdi Dastani, Giuseppe De Giacomo, Brian Logan, Giuseppe Perelli

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Synthesising Reward Machines for Cooperative Multi-Agent Reinforcement Learning.

Giovanni Varricchione, Natasha Alechina, Mehdi Dastani, Brian Logan

Proceedings of the Multi-Agent Systems - 20th European Conference, 2023