Modelling and Verification of Cooperative Vehicle Infrastructure System at Intersections Based on Timed Automata.

Xinhai Chen, Wei Liu, Chang Rao, Yu Zhang, Wanling Du

Browse the full QRS paper archive.