2025 04 Cav
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!
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!