Zobrazeno 1 - 2
of 2
pro vyhledávání: '"María Alcázar Martínez"'
Publikováno v:
Sensors, Vol 24, Iss 16, p 5166 (2024)
Linear temporal logic (LTL) formalism can ensure the correctness of mobile robot planning through concise, readable, and verifiable mission specifications. For uneven terrain, planning must consider motion constraints related to asymmetric slope trav
Externí odkaz:
https://doaj.org/article/4c50f2d196764332a2c98ffa9ee33aba
Publikováno v:
Engineering Applications of Artificial Intelligence. 121:105976
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::35e65a335963887743c95a55edf438fe
https://doi.org/10.1016/j.engappai.2023.105976
https://doi.org/10.1016/j.engappai.2023.105976