Exploiting the redundancy for humanoid robots to dynamically step over a large obstacle | IEEE Conference Publication | IEEE Xplore