Au, T.-C., Shahidi, N. and Stone, P. (2011) “Enforcing Liveness in Autonomous Traffic Management”, Proceedings of the AAAI Conference on Artificial Intelligence, 25(1), pp. 1317-1322. doi: 10.1609/aaai.v25i1.7807.