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

by C Tomlin, G Pappas, S Sastry
Venue:IEEE Transactions on Automatic Control