A general, open-loop formulation for reach-avoid games | IEEE Conference Publication | IEEE Xplore