Formal verification of data-path circuits based on symbolic simulation. - Y. Morihiro; T. Toneda (Asian Test Symposium, 2000)

Model Predictive Load Distribution Control for Leg/Wheel Mobile Robots on Rough Terrain. - Y. Morihiro; Naoki Takahashi; Kenichiro Nonaka; Kazuma Sekiguchi (SyRoCo, 2018)