Comparative Study for Path Planning Based on the Decomposition of a Co-Safe LTL Specification

Publicado en línea: 09 nov 2024

Páginas: 67 - 80

Recibido: 09 may 2024

Aceptado: 07 ago 2024

DOI: https://doi.org/10.2478/bipie-2023-0015

Palabras clave

mobile robots, discrete event systems, path planning, decomposition algorithm, LTL specification

© 2023 Ioana Hustiu et al., published by Sciendo

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.