Principal Investigator Daniela Rus
Co-investigator John Leonard
Project Website http://robotics.csail.mit.edu.ezproxy.canberra.edu.au/sites/default/files/rus2.pdf
Generic distributed locomotion planning and correctness analysis for instantiations to Crystal, Molecule, MTRAN, polybot and distributed goal recognition. Applications can be applied to self-assembly and self-repair.