Items where Author is "Dixon, Clare"

Group by: Item Type | No Grouping
Number of items: 3.

Data Collection

Webster, Matt, Fisher, Michael and Dixon, Clare (2020) PRISM Models of the FiGo Algorithm. [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]

This list was generated on Thu Mar 28 07:31:25 2024 GMT.