Exploration of Canals: a German-Pakistani collaboration in education and research in marine robotics | IEEE Conference Publication | IEEE Xplore