Design Optimization of an Ultrafast-Striking Mantis Shrimp Microrobot | IEEE Conference Publication | IEEE Xplore