TY  - RPRT
TI  - Set-Based Training of Neural Barrier Certificates for Safety Verification of Dynamical Systems
AU  - Miriam Kranzlmüller
AU  - Lukas Koller
AU  - Tobias Ladner
AU  - Matthias Althoff
PY  - 2026
UR  - https://arxiv.org/abs/2605.02526
ID  - 2605.02526
ER  -