TY  - RPRT
TI  - From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks
AU  - Omid Akbarzadeh
AU  - Behrad Samari
AU  - Amy Nejati
AU  - Abolfazl Lavaei
PY  - 2025
UR  - https://arxiv.org/abs/2508.09520
ID  - 2508.09520
ER  -