Providing Safety Assurances for Systems with Unknown Dynamics