Au, T.-C.; Shahidi, N.; Stone, P. Enforcing Liveness in Autonomous Traffic Management. AAAI 2011, 25, 1317-1322.