Neural Continuous-Time Supermartingale Certificates (FM 2026 - Workshop: AIPV) - FM 2026

Mon 18 - Fri 22 May 2026 Tokyo, Japan

Who

Grigory Neustroev, Mirco Giacobbe, Anna Lukina

Track

FM 2026 Workshop: AIPV

Time Zone

The program is currently displayed in (GMT+09:00) Osaka, Sapporo, Tokyo.

Use conference time zone: (GMT+09:00) Osaka, Sapporo, TokyoSelect 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

When

Tue 19 May 2026 09:45 - 10:07 at 1F Room 101-103 - AIPV Day 2 Session 1 Theory

Grigory Neustroev

Zeroth Research

Netherlands

Mirco Giacobbe

University of Birmingham

United Kingdom

Anna Lukina

Delft University of Technology

Netherlands

Time Zone

The program is currently displayed in (GMT+09:00) Osaka, Sapporo, Tokyo.

Use conference time zone: (GMT+09:00) Osaka, Sapporo, TokyoSelect 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

Session Program

Tue 19 May
Displayed time zone: Osaka, Sapporo, Tokyo change

	09:00 - 10:30	AIPV Day 2 Session 1 TheoryWorkshop: AIPV at 1F Room 101-103

	09:00 22m Day opening		AIPV Day 2 Opening Workshop: AIPV
	09:22 22m Keynote		AIPV Keynote: Nobuko Yoshida, Resilient Distributed Intelligent Swarms and Safeguarded AI: Programming Models and Runtime Guarantees Workshop: AIPV Nobuko Yoshida University of Oxford, UK
	09:45 22m Talk		Neural Continuous-Time Supermartingale Certificates Workshop: AIPV Grigory Neustroev Zeroth Research, Mirco Giacobbe University of Birmingham, Anna Lukina Delft University of Technology
	10:07 22m Talk		From Behaviour-Driven Development Scenarios to Formally Verifiable Behavioural Models via Dynamic Condition Response Graphs Workshop: AIPV Xinyuan Tu University of Copenhagen, Thomas T. Hildebrandt University of Copenhagen, Thiago Rocha Silva University of Southern Denmark