Formalizing and guaranteeing human-robot interaction

J 2021

Formalizing and guaranteeing human-robot interaction

KRESS-GAZIT, Hadas; Kerstin EDER; Guy HOFFMAN; Henny ADMONI; Brenna ARGALL et al.

Základní údaje

Originální název

Formalizing and guaranteeing human-robot interaction

Autoři

Vydání

Communications of the ACM, New York, NY, USA, ACM, 2021, 0001-0782

Další údaje

Typ výsledku

Článek v odborném periodiku

Impakt faktor

Impact factor: 14.065

Označené pro přenos do RIV

Organizační jednotka

Fakulta informatiky

DOI

https://doi.org/10.1145/3433637

Změněno: 17. 3. 2025 14:43, RNDr. Pavel Šmerk, Ph.D.

Anotace

V originále

Robot capabilities are maturing across domains, from self-driving cars to bipeds to drones. The growing field of human-robot interaction (HRI) studies various aspects of this scenario, ranging from social norms to collaborative manipulation to human-robot teaming. Researchers in HRI have made great efforts in developing models, methods, and algorithms for robots acting with and around humans. Demonstrating trustworthiness in various forms of automation through formal guarantees has been the focus of validation, verification, and synthesis efforts. Formalizing HRI can enable the creation of trustworthy systems and, just as importantly, support explicit reasoning about the context of guarantees.

Citovat

KRESS-GAZIT, Hadas; Kerstin EDER; Guy HOFFMAN; Henny ADMONI; Brenna ARGALL; Rüdiger EHLERS; Christoffer HECKMAN; Nils JANSEN; Ross A KNEPPER; Jan KŘETÍNSKÝ; Shelly LEVY-TZEDEK; Jamy LI; Todd D MURPHEY; Laurel D RIEK a Dorsa SADIGH. Formalizing and guaranteeing human-robot interaction. Communications of the ACM. New York, NY, USA: ACM, 2021, roč. 64, č. 9, s. 78-84. ISSN 0001-0782. Dostupné z: https://doi.org/10.1145/3433637.

@article{2484779,
   author = {KressandGazit, Hadas and Eder, Kerstin and Hoffman, Guy and Admoni, Henny and Argall, Brenna and Ehlers, Rüdiger and Heckman, Christoffer and Jansen, Nils and Knepper, Ross A and Křetínský, Jan and LevyandTzedek, Shelly and Li, Jamy and Murphey, Todd D and Riek, Laurel D and Sadigh, Dorsa},
   article_location = {New York, NY, USA},
   article_number = {9},
   doi = {https://doi.org/10.1145/3433637},
   issn = {0001-0782},
   journal = {Communications of the ACM},
   title = {Formalizing and guaranteeing human-robot interaction},
   volume = {64},
   year = {2021}
}

TY  - JOUR
ID  - 2484779
AU  - Kress-Gazit, Hadas - Eder, Kerstin - Hoffman, Guy - Admoni, Henny - Argall, Brenna - Ehlers, Rüdiger - Heckman, Christoffer - Jansen, Nils - Knepper, Ross A - Křetínský, Jan - Levy-Tzedek, Shelly - Li, Jamy - Murphey, Todd D - Riek, Laurel D - Sadigh, Dorsa
PY  - 2021
TI  - Formalizing and guaranteeing human-robot interaction
JF  - Communications of the ACM
VL  - 64
IS  - 9
SP  - 78-84
EP  - 78-84
PB  - ACM
SN  - 00010782
N2  - Robot capabilities are maturing across domains, from self-driving cars to bipeds to drones. The growing field of human-robot interaction (HRI) studies various aspects of this scenario, ranging from social norms to collaborative manipulation to human-robot teaming. Researchers in HRI have made great efforts in developing models, methods, and algorithms for robots acting with and around humans. Demonstrating trustworthiness in various forms of automation through formal guarantees has been the focus of validation, verification, and synthesis efforts. Formalizing HRI can enable the creation of trustworthy systems and, just as importantly, support explicit reasoning about the context of guarantees.
ER  -

KRESS-GAZIT, Hadas; Kerstin EDER; Guy HOFFMAN; Henny ADMONI; Brenna ARGALL; Rüdiger EHLERS; Christoffer HECKMAN; Nils JANSEN; Ross A KNEPPER; Jan KŘETÍNSKÝ; Shelly LEVY-TZEDEK; Jamy LI; Todd D MURPHEY; Laurel D RIEK a Dorsa SADIGH. Formalizing and guaranteeing human-robot interaction. \textit{Communications of the ACM}. New York, NY, USA: ACM, 2021, roč.~64, č.~9, s.~78-84. ISSN~0001-0782. Dostupné z: https://doi.org/10.1145/3433637.

Přehled o publikaci