BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//University of Liverpool Computer Science Seminar System//v2//EN
BEGIN:VEVENT
DTSTAMP:20260703T034527Z
UID:Seminar-robotics-718@lxserverM.csc.liv.ac.uk
ORGANIZER:CN=Matt webster:MAILTO:M.Webster@liverpool.ac.uk
DTSTART:20190206T130000
DTEND:20190206T140000
SUMMARY:Robotics and Autonomous Systems Series
DESCRIPTION:Matt Webster: Veri?able Self-Certifying Autonomous Systems\n\nAutonomous systems are increasingly being used in safety-and mission-critical domains, including aviation, manufacturing, healthcare and the automotive industry. Systems for such domains are often veri?ed with respect to essential requirements set by a regulator, as part of a process called certi?cation. In principle, autonomous systems can be deployed if they can be certi?ed for use. However, certi?cation is especially challenging as the condition of both the system and its environment will surely change, limiting the effective use of the system. In this paper we discuss the technological and regulatory background for such systems, and introduce an architectural framework that supports veri?ably-correct dynamic self-certi?cation by the system, potentially allowing deployed systems to operate more safely and effectively.\n\nhttps://www.csc.liv.ac.uk/research/seminars/abstract.php?id=718
LOCATION:
END:VEVENT
END:VCALENDAR