Title: State-based implicit coordination and applications
Subjects: Air traffic control, Algorithms, Coordination, Aircraft safety, Collision avoidance, Flight safety