Connectivity Enhanced Safe Neural Network Planner for Lane Changing in Mixed Traffic