Set-Based Training of Neural Barrier Certificates for Safety Verification of Dynamical Systems. - Miriam Kranzlmüller; Lukas Koller; Tobias Ladner; Matthias Althoff (CoRR, 2026)