Data · dataset · 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
Listed in University of Liverpool Research Data Catalogue
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
Links
Where it is published
- datacat.liverpool.ac.uk /178/1/research-data.zip ↗
University of Liverpool Research Data Catalogue record
landing page · from datacat liverpool ac uk
- DOI doi.org/10.17638/datacat.liverpool.ac.uk/178 ↗
DOI / persistent id · from datacat liverpool ac uk
Catalogue records · 1
- OAI-PMH record datacat.liverpool.ac.uk/cgi/oai2?verb=GetRecord&metadataPrefix=oai_dc&identifier=oai%3… ↗
metadata API · from datacat liverpool ac uk
Topics
- From keywords
- Earth & Environmental Science
Provenance · 1 source records, 5 field assertions
| Source | Key | Last seen | Raw |
|---|---|---|---|
| University of Liverpool Research Data Catalogue | oai:datacat.liverpool.ac.uk:178 | 15 h ago | JSON v1 |
| Field | Assertion | Extractor | Evidence |
|---|---|---|---|
| concepts[field].local:field:earth-environmental | mapping · datacat liverpool ac uk | connector:datacat_liverpool_ac_uk@1.0.0 | |
| description | source · datacat liverpool ac uk | connector:datacat_liverpool_ac_uk@1.0.0 | /metadata/dc/description |
| license_text | source · datacat liverpool ac uk | connector:datacat_liverpool_ac_uk@1.0.0 | |
| publication_date | source · datacat liverpool ac uk | connector:datacat_liverpool_ac_uk@1.0.0 | |
| title | source · datacat liverpool ac uk | connector:datacat_liverpool_ac_uk@1.0.0 | /metadata/dc/title |