Syllabus: Robotic systems and complexes. Part 3. Algorithmization and verification of control in RTS