P

path planning

This project addresses a real-world challenge involving the control of a robot tasked with trajectory tracking and navigating an assembly line. The objective is to efficiently connect various components along the line while adhering to Linear Temporal Logic (LTL) constraints. The ultimate goal is to seamlessly integrate elements of the assembly line by ensuring the robot's trajectory adheres to specified conditions and constraints.

This repo contains the code and documentation of the project realized for the Artificial Vision course, developed during my Master's Degree course in Computer Engineering.