Inner-approximating Reach-avoid Sets for Discrete-time Polynomial Systems | IEEE Conference Publication | IEEE Xplore