Publications

Emanuele Marconato, Samuele Bortolotti, Emile van Krieken, Paolo Morettin, Elena Umili, Antonio Vergari, Efthymia Tsamoura, Andrea Passerini, and Stefano Teso. 2025. "Symbol Grounding in Neuro-Symbolic AI:  A Gentle Introduction to Reasoning Shortcuts". Paper.

Elena Umili. "DeepDFA: Learning and Integration of Regular Languages with Deep Learning". 2025. 19th International Conference on Neurosymbolic Learning and Reasoning (NeSy 2025). Paper.

Axel Mezini, Elena Umili, Ivan Donadello, Fabrizio Maria Maggi, Matteo Mancanelli, Fabio Patrizi. 2025. "Neuro-Symbolic Predictive Process Monitoring". Paper.

Francesco Argenziano, Elena Umili, Francesco Leotta, Daniele Nardi. 2025. "Defining and Monitoring Complex Robot Activities via LLMs and Symbolic Reasoning". 37th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2025) . Paper | Code.

Hazem Dewidar and Elena Umili. 2025. "Fully Learnable Neural Reward Machines".  7th International Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis (OVERLAY 2025). Paper  | Code .

Elena Umili and Roberto Capobianco. 2025. "Learning Minimal Symbolic Representations and Temporal Rules from Visual Sequences". Preprint | Code .

Elena Umili, Francesco Argenziano, Roberto Capobianco. 2024. "Neural Reward Machines". 27th European Conference on Artificial Intelligence (ECAI 2024). Paper  | Code .

Elena Umili, Roberto Capobianco. 2024. "DeepDFA: Automata Learning through Neural Probabilistic Relaxations". 27th European Conference on Artificial Intelligence (ECAI 2024). Paper  | Code .

Andrea Fanti, Elena Umili, Roberto Capobianco. 2024. "Transfer Learning between non-Markovian RL Tasks through Semantic Representations of Temporal States". 1st International Workshop on Adjustable Autonomy and Physical Embodied Intelligence (AAPEI 2024).  Paper | Code .

Elena Umili, Gabriel Paludo Licks, Fabio Patrizi. 2024. "Enhancing Deep Sequence Generation with Logical Temporal Knowledge". 3rd International Workshop on Process Management in the AI era (PMAI 2024). Paper | Code .

Elena Umili. 2023. "Neurosymbolic Integration of Linear Temporal Logic in Non Symbolic Domains". 2023 European Conference on Multi-Agent Systems (EUMAS 2023). Paper. 

Elena Umili, Roberto Capobianco, Giuseppe De Giacomo. 2023. "Grounding LTLf specifications in image sequences". 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023). Paper | Code .

Elena Umili, Francesco Argenziano, Aymeric Barbin, Roberto Capobianco. 2023. "Visual Reward Machines". 17th International Workshop on Neural-Symbolic Learning and Reasoning (NeSy 2023). Paper | Code .

Elena Umili. 2023. "Discovering logical knowledge in non-symbolic domains". PhD Thesis. Paper .

Elena Umili, Roberto Capobianco, Giuseppe De Giacomo. 2022. "Grounding LTLf specifications in images". 16th International Workshop on Neural-Symbolic Learning and Reasoning (NeSy 2022). Paper | Code.

Elena Umili, Emanuele Antonioni, Francesco Riccio, Roberto Capobianco, Daniele Nardi, Giuseppe De Giacomo. 2021. "Learning a Symbolic Planning Domain through the Interaction with Continuous Environments". Workshop on Bridging the Gap Between AI Planning and Reinforcement Learning (PRL 2021). Paper .

Elena Umili, Marco Tognon, Dario Sanalitro, Giuseppe Oriolo and Antonio Franchi. 2020. "Communication-based and Communication-less approaches for Robust Cooperative Planning in Construction with a Team of UAVs". 2020 International Conference on Unmanned Aircraft Systems (ICUAS 2020), Athens, Greece. Paper .