1 citations · 1 across the 5 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.LO2024
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…
eess.SY2024
Data-Driven Distributionally Robust Safety Verification Using Barrier Certificates and Conditional Mean Embeddings
Oliver Schön, Zhengang Zhong, Sadegh Soudjani
Algorithmic verification of realistic systems to satisfy safety and other temporal requirements has suffered from poor scalability of the employed formal approaches. To design syst…