Smoothing Nonlinear Mixed Traffic with Autonomous Vehicles: Control Design | IEEE Conference Publication | IEEE Xplore