Data-Driven Abstractions via Binary-Tree Gaussian Processes for Formal Verification https://arxiv.org/abs/2407.21029 #eess.SY #cs.LO #cs.FL #cs.LG #cs.SY
QOTO: Question Others to Teach Ourselves An inclusive, Academic Freedom, instance All cultures welcome. Hate speech and harassment strictly forbidden.