Mixed-Autonomy Traffic Control with Proximal Policy Optimization | IEEE Conference Publication | IEEE Xplore