Safety Guarantees For Uncertain Dynamical Systems: Combining Model-Based Analysis With Data-Driven Approaches