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]
Dennis, Louise, Fisher, Michael, Bremner, Paul and Winfield, Alan (2019) On Proactive, Transparent and Verifiable Ethical Reasoning for Robots. [Data Collection]
Winikoff, Michael, Dennis, Louise and Fisher, Michael (2018) Slicing Agent Programs for more Efficient Verification. [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]
Dennis, Louise, Fisher, Michael, Ferrando, Angelo, Mascardi, Viviana and Ancona, Davide (2018) Recognising Assumption Violations in Autonomous Systems Verification. [Data Collection]
Kamali, Maryam, Dennis, Louise and Fisher, Michael (2017) Formal verification of autonomous vehicle platooning. [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]