Backward-forward reachable set splitting for state-constrained differential games. (January 2020)