Thom Badings
  • About
  • Publications
  • Projects
  • Activities

2024 11 Lfdc

March 1, 2025

2025

Our paper “Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems”, coauthored by Mahdi Nazeri, Sadegh Soudjani, and Alessandro Abate has been accepted for presentation at TACAS 2024. Especially congrats to Mahdi for the first paper part of his PhD!

© Copyright 2025 Thom Badings. Powered by Jekyll with al-folio theme. Hosted by GitHub Pages. Photos from Unsplash.