2025 11 Lfdc

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!