Accepted journal paper on safety verification!

Our paper "Preview-Aware Safety Verification of Neural Tracking Controllers for Dynamical Systems" was accepted at the Springer International Journal of Dynamics and Control! It is based on our previous work "A Comprehensive Safety Analysis for Tracking Neural Controllers" presented at IEEE Codit 2025.