arXiv:1808.06632 [cs.SY]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords autonomous vehicles, mixed transportation systems, provably safe intersection management, human-driven vehicles, mixed traffic Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset