Conflict resolution for air traffic management: A study in multiagent hybrid systems (1998)

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