Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2407.21029
Cited By
Data-Driven Abstractions via Binary-Tree Gaussian Processes for Formal Verification
15 July 2024
Oliver Schon
Shammakh Naseer
B. Wooding
Sadegh Soudjani
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Data-Driven Abstractions via Binary-Tree Gaussian Processes for Formal Verification"
1 / 1 papers shown
Title
Log-Linear-Time Gaussian Processes Using Binary Tree Kernels
Michael K. Cohen
Sam Daulton
Michael A. Osborne
GP
32
5
0
04 Oct 2022
1
