Roberto Pietrantuono, University of Naples Federico II
Automated reasoning for dependable engineering learning-enabled autonomous systems
Vincenzo Riccio, University of Udine
Assessing Learning-Enabled Software through Representative Test Inputs