Graph-Based Modeling, Scheduling, and Verification for Intersection Management of Intelligent Vehicles

Yi-Ting Lin, Hsiang Hsu, Shang-Chien Lin, Chung-Wei Lin, Iris Hui-Ru Jiang, Changliu Liu. Graph-Based Modeling, Scheduling, and Verification for Intersection Management of Intelligent Vehicles. ACM Trans. Embedded Comput. Syst., 18(5s), 2019. [doi]

Abstract

Abstract is missing.