-
new methods to design, manufacture, and control novel and micro/nano-robotic systems that mimic motion of organisms. Techniques would be developed to track and control the path of the novel devices
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions