- Article
Matrix-Guided Safe Motion Planning for Smart Parking Systems
- Dewan Mohammed Abdul Ahad and
- Dipankar Maity
This paper presents a matrix-based approach for motion planning of autonomous vehicles in structured parking environments under Temporal Logic (TL) constraints. Instead of relying solely on traditional automaton models, we construct a product automat...

