Cooperative decision-making for mixed traffic: A ramp merging example. (November 2020)