Minimum-time Set Stabilization for State-Based Games | AMiner