Hybrid aerial and aquatic locomotion in an at-scale robotic insect | IEEE Conference Publication | IEEE Xplore