Items where Division is "School of Electrical Engineering, Electronics and Computer Science" and Year is 2018

D

Dennis, Louise, Fisher, Michael, Ferrando, Angelo, Mascardi, Viviana and Ancona, Davide (2018) Recognising Assumption Violations in Autonomous Systems Verification. [Data Collection]

W

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]

Winikoff, Michael, Dennis, Louise and Fisher, Michael (2018) Slicing Agent Programs for more Efficient Verification. [Data Collection]