Guaranteed Active Constraints Enforcement on Point Cloud-approximated Regions for Surgical Applications | IEEE Conference Publication | IEEE Xplore