On-the-fly Black-Box Probably Approximately Correct Checking of Recurrent Neural Networks. - Franz Mayr; Ramiro Visca; Sergio Yovine (CD-MAKE, 2020)

Property Checking with Interpretable Error Characterization for Recurrent Neural Networks. - Franz Mayr; Sergio Yovine; Ramiro Visca (Mach. Learn. Knowl. Extr., 2021)

An Assessment of the Application of Private Aggregation of Ensemble Models to Sensible Data. - Sergio Yovine; Franz Mayr; Sebastián Sosa; Ramiro Visca (Mach. Learn. Knowl. Extr., 2021)