Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Ioana Hustiu"'
Publikováno v:
2022 26th International Conference on System Theory, Control and Computing (ICSTCC).
Publikováno v:
2021 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA ).
Publikováno v:
ICSTCC
This paper studies the path planning problem of mobile robots with high-level specifications, given as co-safe Linear Temporal Logic (LTL) formulas. Based on some results in literature that are allowing to distribute the specification among the robot