Is verification a requisite for safe adaptive robots?