Control Barrier Function Stl