1. Sequence of maneuvers by a single spacecraft
2. Maneuvers by multiple spacecraft
3. Mixed-integrer linear programming approach for air traffic control
4. Computational complexity