@misc{indiciae46a9a915e802,
  title = {Safe Reach Set Computation via Neural Barrier Certificates},
  author = {Alessandro Abate and Sergiy Bogomolov and Alec Edwards and Kostiantyn Potomkin and Sadegh Soudjani and Paolo Zuliani},
  year = {2024},
  url = {https://arxiv.org/abs/2404.18813},
  note = {Source identifier: 2404.18813}
}