Outer-approximating Controlled Reach-avoid Sets for Polynomial Systems | IEEE Conference Publication | IEEE Xplore