Sign in

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

By Oliver Schön and others
To advance formal verification of stochastic systems against temporal logic requirements for handling unknown dynamics, researchers have been designing data-driven approaches inspired by breakthroughs in the underlying machine learning techniques. As one promising research direction, abstraction-based solutions based on Gaussian process (GP) regression have become popular for their ability to... Show more
July 15, 2024
=
0
Loading PDF…
Loading full text...
Similar articles
Loading recommendations...
=
0
x1
Data-Driven Abstractions via Binary-Tree Gaussian Processes for Formal Verification
Click on play to start listening