TY  - RPRT
TI  - Safe Reach Set Computation via Neural Barrier Certificates
AU  - Alessandro Abate
AU  - Sergiy Bogomolov
AU  - Alec Edwards
AU  - Kostiantyn Potomkin
AU  - Sadegh Soudjani
AU  - Paolo Zuliani
PY  - 2024
UR  - https://arxiv.org/abs/2404.18813
ID  - 2404.18813
ER  -