Experiment-based kinematic validation of numeric modeling and simulated control of an untethered biomimetic microrobot in channel | IEEE Conference Publication | IEEE Xplore