Virtual top hats allow swarming robots to fly in tight formation: Researchers also building face-detecting blimps