Text full multimedia monochrome

First time here?

Find out more about how The Lecture List works.

Do you organise talks?

Register to tell us about them. The Lecture List is a great place to be listed, but it's also an easy place to upload your information to. It's very simple and costs nothing. Find out more

Help!

Find out what you can do to keep The Lecture List online

When to trust a self-driving car...

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.


How can we ensure system correctness in the presence of uncertainty?

Computing devices support us in almost all everyday tasks, from mobile phones and online banking to wearable and implantable medical devices. We are now experimenting with self–driving cars and robots.

Since embedded software at the heart of these devices must behave correctly in presence of uncertainty, probabilistic verification techniques have been developed to guarantee their safety, reliability and resource efficiency.

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.

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


Speaker(s):

Professor Marta Kwiatkowska | talks | www

 

Date and Time:

20 November 2018 at 6:30 pm

Duration:

1 hour

 

Venue:

The Royal Society
6-9 Carlton House Terrace
London
SW1Y 5AG
+44 20 74 51 2500
http://www.royalsociety.org

More at The Royal Society...

 

Tickets:

Free

Available from:

Additional Information:

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

Enquiries: events@royalsociety.org

Register to tell a friend about this lecture.

Comments

If you would like to comment about this lecture, please register here.



 

Any ad revenue is entirely reinvested into the Lecture List's operating fund