A Corroborative Approach to Verification and Validation of Human--Robot Teams

26 August 2016

Papers citing "A Corroborative Approach to Verification and Validation of Human--Robot Teams"

8 / 8 papers shown

Title
Autonomy and Safety Assurance in the Early Development of Robotics and Autonomous Systems Dhaminda B. Abeywickrama Michael Fisher Frederic Wheeler Louise A. Dennis 84 1 0 30 Jan 2025
Learning Formal Specifications from Membership and Preference Queries Ameesh Shah Marcell Vazquez-Chanlatte Sebastian Junges Sanjit A. Seshia 59 5 0 19 Jul 2023
Testing, Verification and Improvements of Timeliness in ROS processes Mohammed Y. Hazim Hongyang Qu S. Veres 36 13 0 10 Nov 2016
Formal Verification of Obstacle Avoidance and Navigation of Ground Robots Stefan Mitsch Khalil Ghorbal David Vogelbacher André Platzer 36 84 0 02 May 2016
A Model for Safety Case Confidence Assessment Jérémie Guiochet Quynh Anh Do Hoang M. Kaâniche TPM 28 34 0 20 Nov 2015
Systematic and Realistic Testing in Simulation of Control Code for Robots in Collaborative Human-Robot Interactions Dejanira Araiza-Illan D. Western A. Pipe Kerstin Eder 38 25 0 04 Nov 2015
Coverage-Driven Verification - An approach to verify code for robots that directly interact with humans Dejanira Araiza-Illan D. Western A. Pipe Kerstin Eder 31 24 0 16 Sep 2015
Towards the Safety of Human-in-the-Loop Robotics: Challenges and Opportunities for Safety Assurance of Robotic Co-Workers Kerstin Eder C. Harper U. Leonards 62 54 0 08 Apr 2014