Coordinated Box-pushing of Multiple Biomimetic Robotic Fish | IEEE Conference Publication | IEEE Xplore