Enhancing Safety and Explainability of Reinforcement Learning Agents for Environmental Monitoring Tasks
Anno:
2025
Tipologia prodotto:
Contributo in atti di convegno
Tipologia ANVUR:
Contributo in Atti di convegno
Lingua:
Inglese
Nome rivista:
CEUR WORKSHOP PROCEEDINGS
ISSN Rivista:
1613-0073
N° Volume:
4121
Titolo del Convegno:
Proc. Ital-IA 2025: 5th National Conference on Artificial Intelligence, organized by CINI
Luogo:
Trieste
Periodo:
June 23–24
Editore:
CEUR-WS.org
Casa editrice:
CEUR-WS.org
Intervallo pagine:
1-6
Parole chiave:
Safe Reinforcement Learning, Formal Verification of Neural Networks, Explainable and Neurosymbolic AI, Safe Deployment
Breve descrizione dei contenuti:
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.