Traffic Intersections as Agents: A model checking approach for analysing communicating agents.

Thamilselvam B, Yenda Ramesh, Subrahmanyam Kalyanasundaram, M. V. Panduranga Rao

Browse the full SAC paper archive.