Conflict Resolution for Air Traffic Management: a Case Study in Multi-Agent Hybrid Systems,” (1997)

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