arXiv:1910.08354 [eess.SY]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords reachable set, utilizing dependencies, fundamental method supporting formally-correct synthesis, synthesizing safe maneuver automata, robust model predictive control Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset