Shashank Pathak, Giorgio Metta, Armando Tacchella: Is verification a requisite for safe adaptive robots? SMC 2014: 3399-3402