Safety Critical Control of Mixed-autonomy Traffic via a Single Autonomous Vehicle | IEEE Conference Publication | IEEE Xplore