arXiv:2305.08712 [math.OC]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords model predictive control, reach-avoid analysis, discrete states, reach-avoid set, target set Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset