Search Results for author: Michael Fisher

Found 9 papers, 0 papers with code

A Safety Framework for Critical Systems Utilising Deep Neural Networks

no code implementations7 Mar 2020 Xingyu Zhao, Alec Banks, James Sharp, Valentin Robu, David Flynn, Michael Fisher, Xiaowei Huang

Increasingly sophisticated mathematical modelling processes from Machine Learning are being used to analyse complex data.

Towards a Framework for Certification of Reliable Autonomous Systems

no code implementations24 Jan 2020 Michael Fisher, Viviana Mascardi, Kristin Yvonne Rozier, Bernd-Holger Schlingloff, Michael Winikoff, Neil Yorke-Smith

A computational system is called autonomous if it is able to make its own decisions, or take its own actions, without human supervision or control.

Probabilistic Model Checking of Robots Deployed in Extreme Environments

no code implementations10 Dec 2018 Xingyu Zhao, Valentin Robu, David Flynn, Fateme Dinmohammadi, Michael Fisher, Matt Webster

Robots are increasingly used to carry out critical missions in extreme environments that are hazardous for humans.

Bayesian Inference

Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time

no code implementations18 Apr 2018 Maryam Kamali, Sven Linker, Michael Fisher

The spread of autonomous systems into safety-critical areas has increased the demand for their formal verification, not only due to stronger certification requirements but also to public uncertainty over these new technologies.

Decision Making

Practical Challenges in Explicit Ethical Machine Reasoning

no code implementations4 Jan 2018 Louise Dennis, Michael Fisher

We examine implemented systems for ethical machine reasoning with a view to identifying the practical challenges (as opposed to philosophical challenges) posed by the area.

Towards Moral Autonomous Systems

no code implementations14 Mar 2017 Vicky Charisi, Louise Dennis, Michael Fisher, Robert Lieck, Andreas Matthias, Marija Slavkovik, Janina Sombetzki, Alan F. T. Winfield, Roman Yampolskiy

Both the ethics of autonomous systems and the problems of their technical implementation have by now been studied in some detail.

Formal Verification of Autonomous Vehicle Platooning

no code implementations4 Feb 2016 Maryam Kamali, Louise A. Dennis, Owen McAree, Michael Fisher, Sandor M. Veres

However, as the formal verification technique used to verify the agent code does not scale to the full system and as the global verification technique does not capture the essential verification of autonomous behavior, we use a combination of the two approaches.

Autonomous Vehicles Decision Making

Towards Verifiably Ethical Robot Behaviour

no code implementations14 Apr 2015 Louise A. Dennis, Michael Fisher, Alan F. T. Winfield

Ensuring that autonomous systems work ethically is both complex and difficult.

Decision Making

Cannot find the paper you are looking for? You can Submit a new open access paper.