Data-Driven Abstractions via Binary-Tree Gaussian Processes for Formal Verification.

Oliver Schön Shammakh Naseer Ben Wooding Sadegh Soudjani

Published in: CoRR (2024)

Keyphrases

binary tree
gaussian processes
formal verification
data driven
model checking
quadtree
gaussian process
gaussian process regression
hierarchical structure
covariance function
multiresolution
gaussian process models
information retrieval
multi task
feature selection
hyperparameters