Hadas Kress-Gazit
Kerstin Eder
Henny Admoni
Ross Knepper
Skip Abstract Section
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.
- Alami, R. et al. Verification and synthesis of human-robot interaction (Dagstuhl Seminar 19081). Dagstuhl Reports 9, 2 (2019), 91--110. Google Scholar
Cross Ref
- Araiza-Illan, D. et al. Coverage-driven verification---An approach to verify code for robots that directly interact with humans. Hardware and Software: Verification and Testing (2015), 69--84.Google Scholar
- Araiza-Illan, D. et al. Systematic and realistic testing in simulation of control code for robots in collaborative human-robot interactions. Towards Autonomous Robotic Systems Conference (2016), 20--32.Google ScholarCross Ref
- Argall, B.D. and Billard, A.G. A survey of tactile human-robot interactions. Robotics and Autonomous Systems 58, 10 (Oct. 2010), 1159--1176. Google ScholarDigital Library
- Breazeal, C. et al. Social robotics. Springer Handbook of Robotics, Springer, (2016), 1935--1972.Google Scholar
- Calinescu, R. et al. Socio-cyber-physical systems: Models, opportunities, open challenges. 2019 IEEE/ACM 5th Intern. Wkshp. Soft. Eng. for Smart Cyber-Physical Systems (2019), 2--6.Google Scholar
- Campos, T. et al. SMT-based control and feedback for social navigation. Intern. Conf. Robotics and Automation, 2019, Montreal, QC, Canada, 5005--5011.Google Scholar
- Clarke, E.M. et al. eds. Handbook of Model Checking, Springer (2018).Google ScholarDigital Library
- Grice, H.P. Logic and conversation. Syntax and Semantics, Vol. 3: Speech Acts. P. Cole and J.L. Morgan, eds. Academic Press. (1975) 41--58.Google Scholar
- Hoare, C.A.R. An axiomatic basis for computer programming. Commun. ACM 12, 10 (Oct. 1969), 576--580. Google ScholarDigital Library
- Hoffman, G. Evaluating fluency in human--robot collaboration. IEEE Transactions on Human-Machine Systems 49, 3 (2019), 209--218.Google ScholarCross Ref
- Iqbal, T. and Riek, L.D. Human-robot teaming: Approaches from joint action and dynamical systems. Humanoid Robotics: A Reference (2019), 2293--2312.Google Scholar
- Kellmeyer, P. et al. Social robots in rehabilitation: A question of trust. Science Robotics 3, 21 (2018). Google ScholarCross Ref
- Kress-Gazit, H. et al. Synthesis for robots: Guarantees and feedback for robot behavior. Ann. Review of Control, Robotics, and Auton. Systems 1, 1 (2018). Google ScholarCross Ref
- Kretínský, J. Survey of statistical verification of linear unbounded properties: Model checking and distances. Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques (2016), 27--45.Google Scholar
- Kshirsagar, A. et al. Specifying and synthesizing human-robot handovers. In Proc. of the IEEE/RSJ Intern. Conf. on Intelligent Robots and Systems (2019).Google Scholar
- Kwiatkowska, M. et al. PRISM 4.0: Verification of probabilistic real-time systems. In Proc. of the 23rd Intern. Conf. on Computer-Aided Verification (Berlin, Heidelberg, 2011), 585--591.Google ScholarCross Ref
- Langer, A. et al. Trust in socially assistive robots: Considerations for use in rehabilitation. Neuroscience & Biobehavioral Reviews 104 (2019), 231--239. Google ScholarCross Ref
- Lee, H.R. et al. Cultural design of domestic robots: A study of user expectations in Korea and the United States. 2012 IEEE RO-MAN: The 21st IEEE Intern. Symp. on Robot and Human Interactive Communication (2012), 803--808.Google ScholarCross Ref
- Leucker, M. and Schallhart, C. A brief account of runtime verification. The J. Logic and Algebraic Programming 78, 5 (2009), 293--303. Google ScholarCross Ref
- Li, W. et al. Synthesis for human-in-the-loop control systems. Tools and Algorithms for the Construction and Analysis of Systems---20th Intern. Conf. (2014), 470--484.Google Scholar
- Mason, G. et al. Assurance in reinforcement learning using quantitative verification. Advances in Hybridization of Intelligent Methods: Models, Systems and Applications. I. Hatzilygeroudis and V. Palade, eds. Springer International Publishing, 71--96.Google Scholar
- Matarić, M.J. and Scassellati, B. Socially assistive robotics. Springer Handbook of Robotics. Springer (2016), 1973--1994.Google ScholarCross Ref
- Nomura, T. Cultural differences in social acceptance of robots. 26th IEEE Intern. Symp. on Robot and Human Interactive Communication (RO-MAN) (Aug. 2017), 534--538.Google ScholarDigital Library
- Porfirio, D. et al. Authoring and verifying human-robot interactions. In Proc. of the 31st Ann. ACM Symp. on User Interface Software and Tech. (2018), 75--86.Google ScholarDigital Library
- Rasmussen, J. Mental models and the control of action in complex environments. Selected Papers of the 6th Interdisciplinary Wkshp. on Informatics and Psychology: Mental Models and Human-Computer Interaction 1 (NLD, 1987), 41--69.Google Scholar
- Riek, L.D. Healthcare robotics. Commun. ACM 60, 11 (2017), 68--78. Google ScholarDigital Library
- Sadigh, D. et al. Planning for cars that coordinate with people: Leveraging effects on human actions for planning and active information gathering over human internal state. Autonomous Robots (AURO) 42, 7 (Oct. 2018), 1405--1426.Google Scholar
- Thomaz, A. et al. Computational human-robot interaction. Found. Trends Robotics 4, 2--3 (Dec. 2016), 105--223. Google ScholarDigital Library
- Tretmans, G.J. Test generation with inputs, outputs and repetitive quiescence. Centre for Telematics and Information Technology (CTIT).Google Scholar
- Webster, M. et al. A corroborative approach to verification and validation of human--robot teams. The Intern. J. Robotics Research 39, 1 (2020), 73--99. Google ScholarDigital Library
- Wilkes-Gibbs, D. and Clark, H.H. Coordinating beliefs in conversation. J. Memory and Language 31, 2 (1992), 183--194.Google ScholarCross Ref
Index Terms
- Formalizing and guaranteeing human-robot interaction
Recommendations
Physical Human-Robot Interaction Through Hugs with CASTOR Robot
Social RoboticsAbstractHugs play an essential role in social bonding between people. This study evaluates the hug interactions with a robot identifying the perception. Four hug release methods in adults were applied, a short-time hug, a long-time hug, a touch-controlled ...
Pre-collision safety strategies for human-robot interaction
Safe planning and control is essential to bringing human-robot interaction into common experience. This paper presents an integrated human robot interaction strategy that ensures the safety of the human participant through a coordinated suite of safety ...
Exploring the use of tangible user interfaces for human-robot interaction: a comparative study
CHI '08: Proceedings of the SIGCHI Conference on Human Factors in Computing SystemsIn this paper we suggest the use of tangible user interfaces (TUIs) for human-robot interaction (HRI) applications. We discuss the potential benefits of this approach while focusing on low-level of autonomy tasks. We present an experimental robotic ...
Comments