On the Synthesis of Stable Walkover Gaits for the Acrobot. - Emily Kao-Vukovich; Manfredi Maggiore (IEEE Trans. Control. Syst. Technol., 2023)