Verification of the walking gait generation algorithms using branch and bound methods

The contribution is focused on generation of walking gates for quadruped robot using heuristic search state space algorithms. The efficiency of classical A* algorithm is improved by using branch and bound methods. Simulation verification shows reduction of number of states space nodes generated during the search.