Model Checking of Intersection Traffic Control Protocols.

Yuya Noguchi, Tatsuhiro Tsuchiya

Browse the full ICECCS paper archive.