Merging Control in Mixed Traffic with Safety Guarantees: A Safe Sequencing Policy with Optimal Motion Control | IEEE Conference Publication | IEEE Xplore