Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification. - Rudi Coppola; Hovsep Touloujian; Pierfrancesco Ombrini; Manuel Mazo Jr. 002 (CoRR, 2025)