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

Oliver Schön, Shammakh Naseer, Ben Wooding +1

To advance formal verification of stochastic systems against temporal logic requirements for handling unknown dynamics, researchers have been designing data-driven approaches inspi…