TY  - RPRT
TI  - Data-Driven Abstractions via Binary-Tree Gaussian Processes for Formal Verification
AU  - Oliver Schön
AU  - Shammakh Naseer
AU  - Ben Wooding
AU  - Sadegh Soudjani
PY  - 2024
UR  - https://arxiv.org/abs/2407.21029
ID  - 2407.21029
ER  -