Towards formal synthesis of reactive controllers for dexterous robotic manipulation | IEEE Conference Publication | IEEE Xplore