Mitigating pollution in aquatic ecosystems is among the most pressing challenges in environmental sustainabil- ity applications. While effective monitoring and intervention activities are key to safeguarding water quality, protecting biodiversity, and supporting industries (e.g., aquaculture), this is traditionally done by human oper- ators—making the process costly, time-consuming, and often inadequate for capturing timely environmental changes. In this work, we focus on safe, explainable design and deployment of autonomous reinforcement learning (RL) agents for environmental monitoring tasks. In particular, we present our recent contributions to: i) safe RL techniques, ii) Neurosymbolic RL, iii) formal verification of deep RL policies, and iv) designing robust control strategies for safe deployment.

Enhancing Safety and Explainability of Reinforcement Learning Agents for Environmental Monitoring Tasks

Luca Marzari;Francesco Trotti;Francesco Dal Santo;Amirhossein Zhalehmehrabi;Celeste Veronese;Davide Villaboni;Federico Bianchi;Daniele Meli;Alberto Castellini;Alessandro Farinelli
2025-01-01

Abstract

Mitigating pollution in aquatic ecosystems is among the most pressing challenges in environmental sustainabil- ity applications. While effective monitoring and intervention activities are key to safeguarding water quality, protecting biodiversity, and supporting industries (e.g., aquaculture), this is traditionally done by human oper- ators—making the process costly, time-consuming, and often inadequate for capturing timely environmental changes. In this work, we focus on safe, explainable design and deployment of autonomous reinforcement learning (RL) agents for environmental monitoring tasks. In particular, we present our recent contributions to: i) safe RL techniques, ii) Neurosymbolic RL, iii) formal verification of deep RL policies, and iv) designing robust control strategies for safe deployment.
2025
Inglese
Comitato scientifico
4121
Proc. Ital-IA 2025: 5th National Conference on Artificial Intelligence, organized by CINI
Trieste
June 23–24
Proc. Ital-IA 2025: 5th National Conference on Artificial Intelligence, organized by CINI
1
6
6
Safe Reinforcement Learning, Formal Verification of Neural Networks, Explainable and Neurosymbolic AI, Safe Deployment
https://ceur-ws.org/Vol-4121/Ital-IA_2025_paper_10.pdf
open
Marzari, Luca; Trotti, Francesco; Dal Santo, Francesco; Zhalehmehrabi, Amirhossein; Veronese, Celeste; Villaboni, Davide; Bianchi, Federico; Meli, Dan...espandi
10
04 Contributo in atti di convegno::04.01 Contributo in atti di convegno
273
info:eu-repo/semantics/conferenceObject
File in questo prodotto:
File Dimensione Formato  
2025_ITALIA2025_Enhancing.pdf

accesso aperto

Descrizione: Paper
Tipologia: Versione dell'editore
Licenza: Dominio pubblico
Dimensione 5.58 MB
Formato Adobe PDF
5.58 MB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11562/1187035
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact