Online Coverage Path Generation for Aquatic Environmental Monitoring with Multiple USVs through Constraint-based Control | IEEE Conference Publication | IEEE Xplore