Ensuring Safety of Learning-Based Motion Planners Using Control Barrier Functions | Synapse