Synthesizing Rulesets for Programmable Robotic Self-assembly: A Case Study Using Floating Miniaturized Robots. - Bahar Haghighat; Brice Platerrier; Loic Waegeli; Alcherio Martinoli (ANTS Conference, 2016)