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