A Queueing Model and Analysis for Autonomous Vehicles on Highways - BizPub.ai