When to trust a self-driving car...

The Royal Society, London, 6-9 Carlton House Terrace, London
Ad
Event has ended
This event ended on Tuesday 20th of November 2018
Admission
Free
Location

The Royal Society, London, 6-9 Carlton House Terrace, London

Nearest Tube/Rail Stations
Charing Cross 0.22 miles

2018 Milner Award Lecture given by Professor Marta Kwiatkowska.

Using illustrative examples, this lecture will give an overview of the role that probabilistic modelling and verification can play in a variety of applications, including security, medical devices, self-driving cars and DNA computing. It will also describe recent developments towards model synthesis, which aims to build these systems so that they are correct by construction. Finally, it will explore the problems of ensuring that systems that rely on learning will behave correctly, both in situations that they have seen in training, and in situations that they haven’t.

-No registration required
-Doors open from 18:00, and seats are allocated on a first-come, first-served basis

Tags: Workshops

User Reviews

There are no user reviews