Safety filtering of robotic manipulation under environment uncertainty: a computational approach