Stable dynamic walking of a quadruped robot “Kotetsu” using phase modulations based on leg loading/unloading | IEEE Conference Publication | IEEE Xplore