Is verification a requisite for safe adaptive robots?

Shashank Pathak, Giorgio Metta, Armando Tacchella

Browse the full SMC paper archive.