- Article
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...

