Shashank Pathak, Giorgio Metta, Armando Tacchella. Is verification a requisite for safe adaptive robots?. In 2014 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2014, San Diego, CA, USA, October 5-8, 2014. pages 3399-3402, IEEE, 2014. [doi]
Abstract is missing.