Cavalcanti, Ana Lucia Caneca

Chattington, Mark

Hendry, Holly Rebecca

McCall, Cade

White Rose Research Online

This is a repository copy of Verification of Robotic Systems with Humans in the Loop.White Rose Research Online URL for this paper:https://eprints.whiterose.ac.uk/196311/Version: Published VersionConference or Workshop Item: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. eprints@whiterose.ac.ukhttps://eprints.whiterose.ac.uk/Reuse Items deposited in White Rose Research Online are protected by copyright, with all rights reserved unless indicated otherwise. They may be downloaded and/or printed for private study, or other acts as permitted by national copyright laws. The publisher or other rights holders may allow further reproduction and re-use of the full text version. This is indicated by the licence information on the White Rose Research Online record for the item. Takedown If you consider content in White Rose Research Online to be in breach of UK law, please notify us by emailing eprints@whiterose.ac.uk including the URL of the record and the reason for the withdrawal request.   Holly Hendry, Ana Cavalcanti,  Cade McCall, Mark Chattington Verification of Robotic Systems with Humans in the Loop robostar.cs.york.ac.uk Model checking using FDR3 Model checking using UPPAAL 

Verification of Robotic Systems with Humans in the Loop

https://eprints.whiterose.ac.uk/196311/1/YorRobots-SAR.pdf

Verification of Robotic Systems with Humans in the Loop

Abstract

Similar works

Full text

Available Versions

White Rose Research Online