Skip to content

Delay-Aware Design, Analysis and Verification of Intelligent Intersection Management.

Bowen Zheng, Chung-Wei Lin, Hengyi Liang, Shinichi Shiraishi, Wenchao Li, Qi Zhu

Year2017
ProceedingsSMARTCOMP

Browse the full SmartComp paper archive.