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