Reach-Avoid Verification for Time-varying Systems with Uncertain Disturbances | IEEE Conference Publication | IEEE Xplore