Verification of Robotic Systems with Humans in the Loop

Hendry, Holly Rebecca orcid.org/0000-0002-7241-5905, Cavalcanti, Ana Lucia Caneca orcid.org/0000-0002-0831-1976, McCall, Cade orcid.org/0000-0003-0746-8899 et al. (1 more author) (2022) Verification of Robotic Systems with Humans in the Loop. In: YorRobots and RoboStar Industry Exhibition, 11-12 Oct 2022, University of York.

Metadata

Item Type: Conference or Workshop Item
Authors/Creators:
Keywords: Verification, Robotics, Humans in the Loop, Modelling
Dates:
  • Published: 11 October 2022
  • Accepted: 29 September 2022
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Funding Information:
Funder
Grant number
EPSRC
2605294
Depositing User: Miss Holly R Hendry
Date Deposited: 14 Feb 2023 14:28
Last Modified: 15 Feb 2023 01:00
Status: Published
Refereed: No
Open Archives Initiative ID (OAI ID):

Download

Published Version

Filename: YorRobots-SAR.pdf

Description: Poster presented at the YorRobots and RoboStar Industry Exhibition

CLICK TO DOWNLOAD [thumbnail of Poster presented at the YorRobots and RoboStar Industry Exhibition]

Export

Statistics


CORE (COnnecting REpositories)