Силабус: Робототехнічні системи та комплекси. Частина 3. Алгоритмізація та верифікація управління в РТС