A Highway Toll Lane Framework that Unites Autonomous Vehicles and High-occupancy Vehicles | IEEE Conference Publication | IEEE Xplore