BEGIN:VCALENDAR
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
PRODID:-//Mathematical Engineering (INMA)//Seminars//EN
X-WR-CALNAME:Mathematical Engineering (INMA) Seminars
X-WR-TIMEZONE:Europe/Brussels
BEGIN:VTIMEZONE
TZID:Europe/Brussels
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:seminar-1284@inma
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-PUBLISHED-TTL:PT1H
DTSTAMP:20260418T124150Z
SUMMARY:Designing Provably Safe Autonomous Systems Under Uncertainty
DTSTART;TZID=Europe/Brussels:20260505T140000
DTEND;TZID=Europe/Brussels:20260505T150000
LOCATION:Euler building (room A.002)
URL:https://portal.inma.ucl.ac.be/seminar/1284
DESCRIPTION:Designing Provably Safe Autonomous Systems Under Uncertainty — Sofie Haesaert\nThe deployment of autonomous aerial and ground vehicles in real-world environments presents fundamental challenges in ensuring safety and resilience under uncertainty. As autonomy increases and human oversight diminishes\, we must develop formal methods that provide mathematical guarantees on system behavior in the face of stochastic disturbances and environmental variability.\nThis talk presents recent advances in data-driven verification and control synthesis for both linear and nonlinear stochastic models. We differentiate between abstraction-based and abstraction-free approaches and show how approximate stochastic simulation relations can be used to quantify abstractions\, enabling scalable formal verification of systems with uncertainty. Building on this foundation\, we address control synthesis for autonomy via a tight integration of symbolic logic\, stochastic formal methods\, and uncertainty quantification — paving the way toward interacting autonomous systems that are not only capable\, but also provably safe.
END:VEVENT
END:VCALENDAR