@misc{indiciaee6cb39d1d38e,
  title = {Set-Based Training of Neural Barrier Certificates for Safety Verification of Dynamical Systems},
  author = {Miriam Kranzlmüller and Lukas Koller and Tobias Ladner and Matthias Althoff},
  year = {2026},
  url = {https://arxiv.org/abs/2605.02526},
  note = {Source identifier: 2605.02526}
}