A Corroborative Approach to Verification and Validation of Human--Robot Teams: PRISM code and properties for the formal verification of the BERT 2 handover scenario

Webster, Matt, Dixon, Clare and Fisher, Michael (2018) A Corroborative Approach to Verification and Validation of Human--Robot Teams: PRISM code and properties for the formal verification of the BERT 2 handover scenario. [Data Collection]

Data Catalogue DOI: 10.17638/datacat.liverpool.ac.uk/446

Description

PRISM files needed to replicate the formal verification presented in the paper, "A Corroborative Approach to Verification and Validation of Human--Robot Teams," by Matt Webster, David Western, Dejanira Araiza-Illan, Clare Dixon, Kerstin Eder, Michael Fisher and Anthony G. Pipe.

Keywords:

formal verification, PRISM, robotics, HRI, BERT 2, handover

Divisions:

Faculty of Science and Engineering > School of Electrical Engineering, Electronics and Computer Science

Depositing User:

Matt Webster

Date Deposited:

13 Feb 2018 11:31

Last Modified:

13 Feb 2018 11:32

DOI:

10.17638/datacat.liverpool.ac.uk/446