TY - RPRT TI - Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification AU - Rudi Coppola AU - Hovsep Touloujian AU - Pierfrancesco Ombrini AU - Manuel Mazo Jr PY - 2025 UR - https://arxiv.org/abs/2509.04288 ID - 2509.04288 ER -