Library

Formalizing and Guaranteeing* Human-Robot Interaction

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

cs.ROComputer ScienceEngineering
View graphSource

Paper

References (32)

01Specifying and Synthesizing Human-Robot HandoversAlap Kshirsagar, H. Kress-Gazit, Guy Hoffman2019 · IEEE/RJS International Conference on Intelligent RObots and Systems · 28 citations
02Socio-Cyber-Physical Systems: Models, Opportunities, Open ChallengesR. Calinescu, J. Cámara, Colin Paterson2019 · 2019 IEEE/ACM 5th International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS) · 32 citations
03SMT-Based Control and Feedback for Social NavigationThais Campos, Adam Pacheck, Guy Hoffman et al.2019 · IEEE International Conference on Robotics and Automation · 6 citations
04Evaluating Fluency in Human–Robot CollaborationGuy Hoffman2019 · IEEE Transactions on Human-Machine Systems · 470 citations
05Authoring and Verifying Human-Robot InteractionsDavid J. Porfirio, Allison Sauppé, Aws Albarghouthi et al.2018 · ACM Symposium on User Interface Software and Technology · 74 citations
06Human-Robot Teaming: Approaches from Joint Action and Dynamical SystemsT. Iqbal, L. Riek2018 · Humanoid Robotics: A Reference · 60 citations
07Social robots in rehabilitation: A question of trustPhilipp Kellmeyer, Oliver Mueller, Ronit Feingold-Polak et al.2018 · Science Robotics · 60 citations
08Synthesis for Robots: Guarantees and Feedback for Robot BehaviorH. Kress-Gazit, Morteza Lahijanian, Vasumathi Raman2018 · Annu. Rev. Control. Robotics Auton. Syst. · 197 citations
09Planning for cars that coordinate with people: leveraging effects on human actions for planning and active information gathering over human internal stateDorsa Sadigh, Nicholas C. Landolfi, S. Sastry et al.2018 · Autonomous Robots · 193 citations
10Cultural differences in social acceptance of robotsT. Nomura2017 · IEEE International Symposium on Robot and Human Interactive Communication · 31 citations
11Healthcare roboticsL. Riek2017 · Communications of the ACM · 290 citations In Library
12Computational Human-Robot InteractionA. Thomaz, Guy Hoffman, M. Cakmak2016 · Found. Trends Robotics · 173 citations

Scroll for more · 20 remaining

Similar papers

Formalizing and guaranteeing human-robot interactionHadas Kress‐Gazit, Kerstin Eder, Guy Hoffman et al.2021 · Communications of the ACM In Library
Towards Falsifiable Grammars of Human-Robot InteractionVinay Kumar Verma2026 · HRI Companion · 0 citations In Library
A Concise Overview of Safety Aspects in Human-Robot InteractionMazin Hamad, Simone Nertinger, R. Kirschner et al.2023 · International Workshop on Human Friendly Robotics · 11 citations In Library
The dynamic nature of trust: Trust in Human-Robot Interaction revisitedJimin Rhim, Sonya S. Kwak, Angelica Lim et al.2023 · arXiv.org · 10 citations In Library
Toward Achieving Formal Guarantees for Human-Aware Controllers in Human-Robot InteractionsRachel Schlossman, Minkyu Kim, U. Topcu et al.2019 · IEEE/RJS International Conference on Intelligent RObots and Systems · 9 citations In Library
Risk and responsibility in human-robot interactionKerstin Fischer2023 · Pragmatics & beyond. New series In Library
Safety Assessment of Collaborative Robotics Through Automated Formal VerificationF. Vicentini, Mehrnoosh Askarpour, Matteo Rossi et al.2020 · IEEE Transactions on robotics · 62 citations In Library
An ISO Compliant Safety System for Human Workers in Human-Robot Interaction Work EnvironmentSadeq Othman A-lHamouz, Nidhal Kamel Taha El-Omari, Ali M. AL-Naimat2019 · International Conference on Developments in eSystems Engineering · 5 citations In Library
Safety bounds in human robot interaction: A surveyAngeliki Zacharaki, I. Kostavelis, A. Gasteratos et al.2020 · Safety Science · 295 citations In Library
From Gambits to Assurances: Game-Theoretic Integration of Safety and Learning for Interactive RoboticsHaimin Hu2025 · Proceedings of the AAAI Conference on Artificial Intelligence · 0 citations In Library
© 2026 NYSGPT2525 LLC