arXiv:2003.03498 [math.OC]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords control barrier functions, stochastic systems, ensure safety, measurement noise, time step Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset