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

Open Webpage

Schon Oliver, Naseer Shammakh, Wooding Ben, Soudjani Sadegh

Published: 01 Jan 2024, Last Modified: 12 Nov 2025IFAC-PapersOnLineEveryoneRevisionsCC BY-SA 4.0