Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Sebastián Zudaire"'
Publikováno v:
Robotics and Autonomous Systems. 164:104404
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c021d8be10a229072066ffdf70e7dbd6
https://doi.org/10.1016/j.robot.2023.104404
https://doi.org/10.1016/j.robot.2023.104404
Publikováno v:
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles ISBN: 9783031198489
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ab96eefa1d721d4d8cf8d8cce286af18
https://doi.org/10.1007/978-3-031-19849-6_23
https://doi.org/10.1007/978-3-031-19849-6_23
Publikováno v:
ICRA
Temporal task planning guarantees a robot will succeed in its task as long as certain explicit and implicit assumptions about the robot’s operating environment, sensors, and capabilities hold. A robot executing a plan can silently fail to fulfill t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b69a1f3b901b2b21fa6fa189d9522139
https://doi.org/10.1109/icra48506.2021.9561671
https://doi.org/10.1109/icra48506.2021.9561671