Focuses on formal methods for safe autonomy—combining safety‑critical control, motion planning, and optimization with sampled‑data analysis and learning‑enabled control. Demonstrated on mobile, aerial, marine, and soft robots with real‑time, provable safety.