Search Results for author:
Found 11 papers, 0 papers with code
Specifying Agent Ethics (Blue Sky Ideas)
We consider the question of what properties a Machine Ethics system should have.
Advising Autonomous Cars about the Rules of the Road
This paper describes (R)ules (o)f (T)he (R)oad (A)dvisor, an agent that provides recommended and possible actions to be generated from a set of human-level rules.
A Safety Framework for Critical Systems Utilising Deep Neural Networks
Increasingly sophisticated mathematical modelling processes from Machine Learning are being used to analyse complex data.
Towards a Framework for Certification of Reliable Autonomous Systems
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.
Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management
The battery is a key component of autonomous robots.
Probabilistic Model Checking of Robots Deployed in Extreme Environments
Robots are increasingly used to carry out critical missions in extreme environments that are hazardous for humans.
Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time
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.
Practical Challenges in Explicit Ethical Machine Reasoning
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
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
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.
Towards Verifiably Ethical Robot Behaviour
Ensuring that autonomous systems work ethically is both complex and difficult.
