Provably Safe and Smooth Lane Changes in Mixed Traffic | IEEE Conference Publication | IEEE Xplore