Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications