A numerical verification of model predictive control using partitioned model for leg/wheel mobile robots | IEEE Conference Publication | IEEE Xplore