Traditional motion planning methods often fail to provide formal robust safety and performance guarantees. My research leverages Hamilton-Jacobi reachability analysis and differential games to compute provably safe motion plans in time-varying and adversarial environments under parametric uncertainty. This work also addresses stochastic trajectory optimization for handling uncertainties in contact interactions.