Engineering Approaches and Methods to Verify Software in Autonomous Systems.

Giuseppe Cicala, Ali Khalili, Giorgio Metta, Lorenzo Natale, Shashank Pathak, Luca Pulina, Armando Tacchella

Browse the full IAS paper archive.