Stochastic control barrier functions are used to derive sufficient conditions on ... We illustrate our theoretical development using a simulation of a lane-changing scenario in a highway with dense ...