Barrier Certificates for Unknown Systems with Latent States and Polynomial Dynamics using Bayesian Inference. - Robert Lefringhausen; Sami Leon Noel Aziz Hanna; Elias August; Sandra Hirche (CoRR, 2025)