Journal
IEEE ROBOTICS & AUTOMATION MAGAZINE
Volume 14, Issue 1, Pages 61-70Publisher
IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC
DOI: 10.1109/MRA.2007.339624
Keywords
formal methods; motion planning; robot control; self-assembly