Linear temporal logic Constrains of an autonomous mobile robots

Project information

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.

path planning Python SVM

28 Commits
1 Branch
0 Tags

README

Created on

August 22, 2023

Copy SSH clone URLgit@gitlab.com:MRomano1/linear-temporal-logic-constrains-of-an-autonomous-mobile-robots.git
Copy HTTPS clone URLhttps://gitlab.com/MRomano1/linear-temporal-logic-constrains-of-an-autonomous-mobile-robots.git