Guaranteed Vehicle Safety Control Using Control-Dependent Barrier Functions | IEEE Conference Publication | IEEE Xplore