Zobrazeno 1 - 10
of 266
pro vyhledávání: '"Safe robotics"'
The recent drive towards achieving greater autonomy and intelligence in robotics has led to high levels of complexity. Autonomous robots increasingly depend on third party off-the-shelf components and complex machine-learning techniques. This trend m
Externí odkaz:
http://arxiv.org/abs/1808.07921
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
DSN
The recent drive towards achieving greater autonomy and intelligence in robotics has led to high levels of complexity. Autonomous robots increasingly depend on third-party off-The-shelf components and complex machine-learning techniques. This trend m
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bc7ff9492ca44faa00f44f6d102848ac
https://escholarship.org/uc/item/1zr8218k
https://escholarship.org/uc/item/1zr8218k
Publikováno v:
Robotica 34 (2015), Nr. 11
SUMMARYThis paper treats the systematic injury analysis of lower arm robot–human impacts. For this purpose, a passive mechanical lower arm (PMLA) was developed that mimics the human impact response and is suitable for systematic impact testing and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1009a4ae12fe363ce2dd3a4fbb92a89e
https://doi.org/10.1017/s0263574715000156
https://doi.org/10.1017/s0263574715000156
Publikováno v:
Leveraging Applications of Formal Methods, Verification and Validation. Verification ISBN: 9783030034207
ISoLA (2)
ISoLA (2)
A significant challenge for large-scale deployment of autonomous mobile robots is to program them with formal guarantees and high assurance of correct operation. Our approach towards enabling safe programming of robotics system consists of two parts:
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3c78cc45b9caf3b1e7bfc0eefc5a24c2
https://doi.org/10.1007/978-3-030-03421-4_8
https://doi.org/10.1007/978-3-030-03421-4_8
Publikováno v:
Runtime Verification ISBN: 9783319675305
RV
RV
A major challenge towards large scale deployment of autonomous mobile robots is to program them with formal guarantees and high assurance of correct operation. To this end, we present a framework for building safe robots. Our approach for validating
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6cf0318493f3af1cd9dec67b6bb21a31
https://doi.org/10.1007/978-3-319-67531-2_11
https://doi.org/10.1007/978-3-319-67531-2_11