Convex Pursuit-Evasion Games for Spacecraft Proximity Operations on Circular and Elliptical Orbits

Inspecting or servicing a non-cooperative spacecraft is a two-player game: the target can thrust to defeat the inspector's plan. Hamilton-Jacobi-Isaacs reachability answers such games exactly but its cost grows exponentially with state dimension, while learning-based controllers scale yet certify no