navigation, and formations (Part II); coordination algorithms and formal methods (Part