Mixed-integer programming for automatic walking step duration | IEEE Conference Publication | IEEE Xplore