Webster, Matt, Dixon, Clare and Fisher, Michael (2016) An Assurance-based 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/178
Description
PRISM files needed to replicate the formal verification presented in the paper: An Assurance-based Approach to Verification and Validation of Human--Robot Teams Matt Webster, David Western, Dejanira Araiza-Illan, Clare Dixon, Kerstin Eder, Michael Fisher, 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: | 24 Aug 2016 15:10 |
Last Modified: | 24 Aug 2016 15:10 |
DOI: | 10.17638/datacat.liverpool.ac.uk/178 |
URI: | https://datacat.liverpool.ac.uk/id/eprint/178 |
Available Files
Full Archive
Creative Commons: Attribution 4.0 |