Verifying Autonomous Systems (ACSOS 2024 - Main Track)

Mon 16 - Fri 20 September 2024 Aarhus, Denmark

Track

ACSOS 2024 Main Track

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Thu 19 Sep 2024 09:00 - 10:00 at Stakladen - Keynote 3

Abstract

How can we provide guarantees of behaviour for autonomous systems? In this talk I will explain how autonomous systems can be programmed in ways that make them amenable to formal verification. I will discuss how cognitive agent programming can be used to provide a transparent and verifiable decision-making core and show how properties of the system can then be checked – including properties related to ethical behaviour.