Our paper ‘Learning-Based Verification of Stochastic Dynamical Systems with Neural Network Policies’, which is joint work with Wietze Koops, Sebastian Junges, and Nils Jansen, has been accepted for presentation at CAV 2025!