3 papers
eess.SY2025
Existence and Synthesis of Multi-Resolution Approximate Bisimulations for Continuous-State Dynamical Systems
Rudi Coppola, Yannik Schnitzer, Mirco Giacobbe +2
We present a fully automatic framework for synthesising compact, finite-state deterministic abstractions of deterministic, continuous-state autonomous systems under locally specifi…
eess.SY2025
Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification
Rudi Coppola, Hovsep Touloujian, Pierfrancesco Ombrini +1
Rechargeable lithium-ion (Li-ion) batteries are a ubiquitous element of modern technology. In the last decades, the production and design of such batteries and their adjacent embed…
cs.LG2025
On Training-Conditional Conformal Prediction and Binomial Proportion Confidence Intervals
Rudi Coppola, Manuel Mazo
Estimating the expectation of a Bernoulli random variable based on N independent trials is a classical problem in statistics, typically addressed using Binomial Proportion Confiden…