Formalizing and guaranteeing human-robot interaction
- 24 August 2021
- journal article
- research article
- Published by Association for Computing Machinery (ACM) in Communications of the ACM
- Vol. 64 (9), 78-84
- https://doi.org/10.1145/3433637
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.This publication has 20 references indexed in Scilit:
- Survey of Statistical Verification of Linear Unbounded Properties: Model Checking and DistancesPublished by Springer Science and Business Media LLC ,2016
- Socially Assistive RoboticsSpringer Handbooks, 2016
- Systematic and Realistic Testing in Simulation of Control Code for Robots in Collaborative Human-Robot InteractionsLecture Notes in Computer Science, 2016
- Computational Human-Robot InteractionFoundations and Trends® in Robotics, 2013
- Cultural design of domestic robots: A study of user expectations in Korea and the United StatesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2012
- PRISM 4.0: Verification of Probabilistic Real-Time SystemsLecture Notes in Computer Science, 2011
- A survey of Tactile Human–Robot InteractionsRobotics and Autonomous Systems, 2010
- A brief account of runtime verificationThe Journal of Logic and Algebraic Programming, 2009
- Coordinating beliefs in conversationJournal of Memory and Language, 1992
- An axiomatic basis for computer programmingCommunications of the ACM, 1969