A Rigorous Approach to Modeling Autonomous Traffic Control Systems.

Vangalur S. Alagar, D. Muthiayen

Browse the full ISADS paper archive.