{"id":"2407.21029","title":"Data-Driven Abstractions via Binary-Tree Gaussian Processes for Formal Verification","url":"https://codeofpaper.com/paper/2407.21029","arxiv_url":"https://arxiv.org/abs/2407.21029","published":"2024-07-15","code":"none","best":null,"most_starred_community":null,"implementations":[],"possible_matches":0}