talks

This page lists selected talks. I can add slides, recordings, and abstracts over time.

2025

• Technical Committee on Hybrid Systems (October 2025)
  • Topic: Stochastic barrier functions (neural, piece-wise, data-driven), finite-state abstractions (MPD, IMDP, fIMDP, data-driven)
  • Slides: PDF
• HSCC (May 2025)
  • Topic: fIMDP and abstractions thereto, theoretical results
  • Slides: PDF

2024

• University of Colorado Boulder (July 2024)
  • Topic: Stochastic barrier function synthesis methods
  • Slides: PDF