Login / Signup

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

Yi-Ting LinHsiang HsuShang-Chien LinChung-Wei LinIris Hui-Ru JiangChangliu Liu
Published in: ACM Trans. Embed. Comput. Syst. (2019)
Keyphrases
  • intelligent vehicles
  • information systems
  • scheduling problem
  • model checking
  • scheduling algorithm
  • vehicle detection
  • traffic signs
  • semi supervised
  • event detection