Conflict resolution for air traffic management: a study in multi-agent hybrid systems (1998)

by C Tomlin, G J Pappas, S Sastry
Venue:IEEE Trans. on Automatic Control