• Atlas Lecture 6/03/19 in Kilburn L.T 1.5 at 15:00

    Published: Tuesday, 05 February 2019

    TITLE: Verifiable Autonomy and Responsible RoboticsSPEAKER: Michael Fisher [ https://cgi.csc.liv.ac.uk/~michael ]ABSTRACT:

    TITLE: Verifiable Autonomy and Responsible Robotics

    SPEAKER: Michael Fisher [ https://cgi.csc.liv.ac.uk/~michael ]


    Robots will increasingly make their own decisions about what to do and when to do it without necessarily consulting humans. How can we
    trust these systems if we do not know what they will choose to do and, crucially, why they make these choices?

    In this talk, I will describe how the use of rational agents at the core of autonomous systems forms the basis for not only transparency
    and explainability, but verifiability of behaviour and decision-making. Once we have systems based on such hybrid agent architectures, then
    we can strongly analyse them and move towards not only trustworthiness, but safe, ethical and responsible behaviour.

    I will provide some examples from our current and previous projects examining the deployment of hybrid agent architectures in both robots
    (domestic and industrial) and autonomous vehicles (road and air), covering the verificsaiton of safety, ethics, fault tolerance, etc.

    This work, and the examples described, derive from projects funded by EPSRC: https://autonomy-and-verification-uol.github.io/projects

    gravatar Karon Mee
Generated: Thursday, 25 April 2019 14:02:29
Last change: Tuesday, 05 February 2019 13:24:47
▲ Up to the top