A Max-Plus Algebra-Based Platform for Modelling Coordinated Underwater Tasks of Fish Robots | IEEE Conference Publication | IEEE Xplore