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

15 July 2024

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

2 / 2 papers shown

Title
Average Reward Reinforcement Learning for Omega-Regular and Mean-Payoff Objectives Milad Kazemi Mateo Perez Fabio Somenzi Sadegh Soudjani Ashutosh Trivedi Alvaro Velasquez 7 0 0 21 May 2025
Log-Linear-Time Gaussian Processes Using Binary Tree Kernels Michael K. Cohen Sam Daulton Michael A. Osborne GP 32 5 0 04 Oct 2022