Powered by OpenAIRE graph
Found an issue? Give us feedback
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/ Communications of th...arrow_drop_down
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/
Communications of the ACM
Article
Data sources: UnpayWall
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/
arXiv.org e-Print Archive
Preprint . 2020
Data sources: arXiv.org e-Print Archive
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/
Radboud Repository
Article . 2021
Data sources: Radboud Repository
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/
Explore Bristol Research
Article . 2021
Data sources: Explore Bristol Research
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/
University of Bristol: Bristol Research
Article . 2021
Data sources: Bielefeld Academic Search Engine (BASE)
image/svg+xml Jakob Voss, based on art designer at PLoS, modified by Wikipedia users Nina and Beao Closed Access logo, derived from PLoS Open Access logo. This version with transparent background. http://commons.wikimedia.org/wiki/File:Closed_Access_logo_transparent.svg Jakob Voss, based on art designer at PLoS, modified by Wikipedia users Nina and Beao
Communications of the ACM
Article . 2021 . Peer-reviewed
License: https://www.acm.org/publications/policies/copyright_policy#Background
Data sources: Crossref
https://dx.doi.org/10.48550/ar...
Article . 2020
License: arXiv Non-Exclusive Distribution
Data sources: Datacite
DBLP
Article . 2021
Data sources: DBLP
DBLP
Article . 2025
Data sources: DBLP
METIS Research Information System
Article . 2021
Data sources: METIS Research Information System
https://dx.doi.org/10.1145/343...
Article
Data sources: Microsoft Academic Graph
 View all 8 versions
Claim

Formalizing and guaranteeing human-robot interaction

descriptionPublicationkeyboard_double_arrow_right Article , Preprint 24 Aug 2021Embargo end date: 01 Jan 2020 Netherlands, United Kingdom English Publisher:Association for Computing Machinery (ACM)Journal:Communications of the ACM, volume 64, pages 78-84 (issn: 0001-0782, eissn: 1557-7317, Copyright policy )
Authors: Hadas Kress-Gazit; Kerstin Eder; Guy Hoffman; Henny Admoni; Brenna Argall; Rüdiger Ehlers; Christoffer Heckman; +8 Authors

doi: 10.1145/3433637 , 10.48550/arxiv.2006.16732

arXiv: 2006.16732

handle: https://repository.ubn.ru.nl/handle/2066/236564 , 1983/8fa8df57-9267-4695-a241-a0bd74bd5299

Formalizing and guaranteeing human-robot interaction

Abstract

As robots begin to interact closely with humans, we need to build systems worthy of trust regarding the safety and quality of the interaction.

Countries
Netherlands, United Kingdom
Related Organizations
View all View all
Keywords

FOS: Computer and information sciences, 000, 004, Computer Science - Robotics, Verification and Validation, Software Science, Human-robot interaction, Formal Verification, Robotics (cs.RO), Simulation, Trustworthiness

  • BIP!
    Impact byBIP!
    selected citations
    These citations are derived from selected sources.
    This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    		 30
    popularity
    This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
    		 Top 10%
    influence
    This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    		 Top 10%
    impulse
    This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
    		 Top 10%
Powered by OpenAIRE graph
Found an issue? Give us feedback
selected citations
These citations are derived from selected sources.
This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Citations provided by BIP!
popularity
This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
BIP!Popularity provided by BIP!
influence
This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Influence provided by BIP!
impulse
This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
BIP!Impulse provided by BIP!
30
Top 10%
Top 10%
Top 10%
Green
bronze
Related to Research communities
Netherlands Research Portal