Items where Author is "Fisher, Michael"

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

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]

This list was generated on Thu Mar 28 07:30:59 2024 GMT.