Formal Verification of Human-Robot Interaction in Healthcare Scenarios

[1]  Wisama Khalil,et al.  Suboptimal Trajectory Generation for Industrial Robots using Trapezoidal Velocity Profiles , 2006, 2006 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[2]  Thomas A. Henzinger,et al.  The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..

[3]  Cristina Seceleanu,et al.  Statistical Model Checking of Complex Robotic Systems , 2019, SPIN.

[4]  S. Konz.  Work/rest: Part II – The scientific basis (knowledge base) for the guide1 , 2000 .

[5]  Gurvinder S. Virk,et al.  ISO 13482 - The new safety standard for personal care robots , 2014, ISR 2014.

[6]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[7]  Kim G. Larsen,et al.  Uppaal SMC tutorial , 2015, International Journal on Software Tools for Technology Transfer.

[8]  V. Asirvadam,et al.  Modeling battery management system using the lithium-ion battery , 2012, 2012 IEEE International Conference on Control System, Computing and Engineering.

[9]  José Proença,et al.  Formal verification of ROS-based robotic applications using timed-automata , 2017 .

[10]  Allison Sauppé,et al.  Authoring and Verifying Human-Robot Interactions , 2018, UIST.

[11]  Clare Dixon,et al.  Formal Specification and Verification of Autonomous Robotic Systems , 2018, ACM Comput. Surv..

[12]  Marcello M. Bersani,et al.  PuRSUE -from specification of robotic environments to synthesis of controllers , 2020, Formal Aspects of Computing.

[13]  Marcello M. Bersani,et al.  Mind the gap: Robotic Mission Planning Meets Software Engineering , 2020, 2020 IEEE/ACM 8th International Conference on Formal Methods in Software Engineering (FormaliSE).

[14]  John K. Tsotsos,et al.  Autonomous Vehicles That Interact With Pedestrians: A Survey of Theory and Practice , 2018, IEEE Transactions on Intelligent Transportation Systems.

[15]  Maartje M. A. de Graaf,et al.  Why Would I Use This in My Home? A Model of Domestic Social Robot Acceptance , 2019, Hum. Comput. Interact..

[16]  Wang Yi,et al.  Uppaal in a nutshell , 1997, International Journal on Software Tools for Technology Transfer.

[17]  Angelo Ferrando,et al.  Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management , 2019, SEFM.

[18]  Dino Mandrioli,et al.  Formal model of human erroneous behavior for safety analysis in collaborative robotics , 2019, Robotics and Computer-Integrated Manufacturing.

[19]  Michael Luck,et al.  Quantitative Analysis of Multiagent Systems Through Statistical Model Checking , 2015, EMAS@AAMAS.

[20]  Julio-Ariel Romero-Pérez,et al.  A new methodology for facilitating the design of safety-related parts of control systems in machines according to ISO 13849: 2006 standard , 2018, Reliab. Eng. Syst. Saf..

[21]  Clare Dixon,et al.  Formal Verification of an Autonomous Personal Robotic Assistant , 2014, AAAI Spring Symposia.

[22]  Dino Mandrioli,et al.  Safety Assessment of Collaborative Robotics Through Automated Formal Verification , 2020, IEEE Transactions on Robotics.

[23]  Philip R. O. Payne,et al.  A Review of Clinical Workflow Studies and Methods , 2019, Health Informatics.

[24]  Mark J Hadley,et al.  A deterministic model of the free will phenomenon , 2018 .

[25]  Gul A. Agha,et al.  A Survey of Statistical Model Checking , 2018, ACM Trans. Model. Comput. Simul..

[26]  Wafa Johal,et al.  Social Human-Robot Interaction: A New Cognitive and Affective Interaction-Oriented Architecture , 2016, ICSR.

[27]  Mohamad Y. Jaber,et al.  Incorporating human fatigue and recovery into the learning–forgetting process , 2013 .