Hong Kong University of Science and Technology robotics institute with programs in aerial-ground coordination and legged robot autonomy