Is verification a requisite for safe adaptive robots? | IEEE Conference Publication | IEEE Xplore