Data-driven Abstractions for Verification of Deterministic Systems. - Rudi Coppola; Andrea Peruffo; Manuel Mazo Jr. 002 (CoRR, 2022)

Data-Driven Abstractions for Verification of Linear Systems. - Rudi Coppola; Andrea Peruffo; Manuel Mazo Jr. 002 (IEEE Control. Syst. Lett., 2023)

Scenario Approach and Conformal Prediction for Verification of Unknown Systems via Data-Driven Abstractions. - Rudi Coppola; Andrea Peruffo; Lars Lindemann; Manuel Mazo Jr. 002 (ECC, 2024)

Data-Driven Abstractions for Control Systems. - Rudi Coppola; Andrea Peruffo; Manuel Mazo Jr. 002 (CoRR, 2024)

Data-driven Interval MDP for Robust Control Synthesis. - Rudi Coppola; Andrea Peruffo; Licio Romao; Alessandro Abate; Manuel Mazo Jr. 002 (CoRR, 2024)

Enhancing Data-Driven Stochastic Control via Bundled Interval MDP. - Rudi Coppola; Andrea Peruffo; Licio Romao; Alessandro Abate; Manuel Mazo 002 (IEEE Control. Syst. Lett., 2024)

On Training-Conditional Conformal Prediction and Binomial Proportion Confidence Intervals. - Rudi Coppola; Manuel Mazo Espinosa (Trans. Mach. Learn. Res., 2025)