Sequential Prediction with Logic Constraints for Surgical Robotic Activity Recognition | IEEE Conference Publication | IEEE Xplore