MADR: MPC-guided Adversarial DeepReach
Ryan Teoh, Sander Tonkens, William Sharpless, Aijia Yang, Zeyuan Feng, Somil Bansal, Sylvia Herbert
TL;DR
MADR tackles robust safety under worst-case disturbances and adversarial agents in high-dimensional robotic systems by marrying Hamilton–Jacobi reachability with adversarial MPC-guided supervision. It learns a single value function $V(x,t)$ via two SB-MPC datasets and gradient-informed adversarial rollouts, enabling near-ground-truth backward reachable tubes (BRTs) across 13D, 6D, and 20D dynamics. A pursuit-evasion filter further stabilizes long-horizon performance, and hardware demonstrations on TurtleBots, Crazyflie drones, and humanoid interactions validate practical safety and robustness gains. Overall, MADR bridges theory-driven reachability with scalable, data-driven control in safety-critical autonomous systems, offering strong robustness to disturbances and intelligent opponents with real-world applicability.
Abstract
Hamilton-Jacobi (HJ) Reachability offers a framework for generating safe value functions and policies in the face of adversarial disturbance, but is limited by the curse of dimensionality. Physics-informed deep learning is able to overcome this infeasibility, but itself suffers from slow and inaccurate convergence, primarily due to weak PDE gradients and the complexity of self-supervised learning. A few works, recently, have demonstrated that enriching the self-supervision process with regular supervision (based on the nature of the optimal control problem), greatly accelerates convergence and solution quality, however, these have been limited to single player problems and simple games. In this work, we introduce MADR: MPC-guided Adversarial DeepReach, a general framework to robustly approximate the two-player, zero-sum differential game value function. In doing so, MADR yields the corresponding optimal strategies for both players in zero-sum games as well as safe policies for worst-case robustness. We test MADR on a multitude of high-dimensional simulated and real robotic agents with varying dynamics and games, finding that our approach significantly out-performs state-of-the-art baselines in simulation and produces impressive results in hardware.
