Robot Path Planning Based on Linear Temporal Logic

Zhejiang University Undergraduate thesis project

This project implemented the model of dynamic planning of robots based on LTL using Python2.7. The structure is divided into single robot path planning and multi robot path planning.