Co-optimization of Acrobot Design and Controller for Increased Certifiable Stability | IEEE Conference Publication | IEEE Xplore