arXiv:2403.02508 [cs.SY]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords control barrier functions, executing simultaneous collision avoidance, geofencing, formal guarantees, safe behavior Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset