Items where Author is "Webster, Matt"

[up] Up a level
Group by: Item Type | No Grouping
Jump to: Data Collection
Number of items: 5.

Data Collection

Webster, Matt, Fisher, Michael and Dixon, Clare (2020) PRISM Models of the FiGo Algorithm. [Data Collection]

Koeman, Vincent, Dennis, Louise, Webster, Matt, Fisher, Michael and Hindriks, Koen (2019) Explainability for Gwendolen Programs (Initial Version). [Data Collection]

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]

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]

Dennis, Louise and Webster, Matt (2016) Recomputable Experiments for Ethical Choices in Autonomous Systems: Verifying ethical choice in three Aviation scenarios. [Data Collection]

This list was generated on Fri Apr 26 07:31:05 2024 BST.