@inproceedings{bib:Au11Liveness,
    Author = {Tsz-Chiu Au and Neda Shahidi and Peter Stone},
    Booktitle= {Proceedings of the Twenty-Fifth Conference on Artificial Intelligence},
    Title = {Enforcing Liveness in Autonomous Traffic Management},
    Year = {2011},
    Pages = {1317--1322},
    Month= {August},
}