Specification-Based Maneuvering of Quadcopters Through Hoops | IEEE Conference Publication | IEEE Xplore