A formal framework for robot learning and control under model uncertainty | IEEE Conference Publication | IEEE Xplore