Generation of the state tree based on generative grammar over trees of strings

Модифицированный алгоритм полного перебора в задаче управления манипуляционным роботом в неизвестной среде

Self-stabilizing mobile medical robots scattering algorithm

On the model checking of finite state transducers over semigroups

The control system of the manipulator agricultural robot

Mobile robot navigation path algorithm in 3D industrial Internet of thing (IoT) environment based on 5g mobile communication

Optimization of an aircraft flight trajectory in the GLONASS dynamic accuracy field

Алгоритм захвата манипулятором объекта в неизвестной статической среде

The equivalence problem for programs with mode switching is PSPACE-complete

Визуализация движения манипуляционных роботов