Data-Driven Abstractions via Binary-Tree Gaussian Processes for Formal Verification. - Oliver Schön; Shammakh Naseer; Ben Wooding; Sadegh Soudjani (ADHS, 2024)